let global_frame () = {
      kf = Kernel_function.dummy ();
      states = [];
      result = None;
      exit_status = None ;
      return = None ;
    }