let set_exit_status env x = { kf = env.kf; states = env.states; result = None; exit_status = Some x ; ret_type = None; }