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