let
void_expr = mkexpr (
JCPEconst
JCCvoid
)
Loc
.dummy_position