let zero_expr = mkexpr (JCPEconst(JCCinteger "0")) Loc.dummy_position