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