MODULE System;

PROCEDURE Halt*(n : INTEGER);
END Halt;

END System.