let user_frame () =
    {
      states = Lmap.empty ;
      result = None ;
      status = None ;
      return = None ;
    }