MODULE Proc EXPORTS Main;
IMPORT IO;
TYPE Proc = PROCEDURE();
PROCEDURE Second() =
BEGIN
IO.Put("Second procedure.\n");
END Second;
PROCEDURE First(proc: Proc) =
proc();
END First;
First(Second);
END Proc.