PROGRAM HALTING;
BEGIN
HALT(0);
END.