(* COMMENT *)

(* Test: the empty program *)

MODULE Main;
BEGIN
END Main.