pub const SCIP_EXPRPRINT_EXPRSTRING: u32 = 1;