Maxine.Signals.Halt (Maxine v1.1.1)