MODULE MyTime EXPORTS Main;

IMPORT IO, FmtTime, Time;

BEGIN
  IO.Put("Current time: " & FmtTime.Long(Time.Now()) & "\n");
END MyTime.