I think, traditionally, Halt is used to preemptively terminate a program. It should of course work okay, which could indicate a bug in the termination code. But usually would use just exiting the normal "PASCALMAIN" procedure as usual