(* COMMENT *)

(* Test: the empty unsafe program *)

UNSAFE MODULE Main;
BEGIN
END Main.