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