MODULE test.

IMPORT Day;

VAR today: Days.Day;

BEGIN
  today := Days.mon; (*init*)


END test.