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