let set_exit_status f x =
    {
      states = f.states ;
      memories = f.memories ;
      result = None ;
      exit_status = Some x ;
      return = f.return ;
    }