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