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