pub const SCIP_EXPRPRINT_OWNER: u32 = 128;