let call_exit env x =
    {
      formals_in_pre = false ;
      frame = M.set_exit_status env.frame x ;
      label = env.label ;
      lvars = env.lvars ;
      xvars = env.xvars ;
     }