let set_exit_status env x =
    {
      kf = env.kf;
      states = env.states;
      result = None;
      exit_status = Some x ;
      ret_type = None;
    }