MODULE Days; TYPE Day* = RECORD END; VAR sun*, mon*, tue*, wed*, thu*, fri*, sat* : Day; END Days.