MODULE MainProcedure;
IMPORT StdLog;
PROCEDURE Do*;
BEGIN
StdLog.String("From Do");StdLog.Ln
END Do;
PROCEDURE Main*;
StdLog.String("From Main");StdLog.Ln
END Main;
END MainProcedure.