let set_exit_status f x = { states = f.states ; memories = f.memories ; result = None ; exit_status = Some x ; return = f.return ; }