[dsw-obn.git] / System.obn

MODULE System;

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

END System.