MODULE tctor4;
// Static record constructor: fields baked in declaration order.
TYPE DateType = RECORD year, month, day: CARDINAL END;
VAR d : DateType;
VAR ExitCode : INTEGER;
BEGIN
  d := DateType{1623, 6, 19};
  IF (d.year = 1623) AND (d.month = 6) AND (d.day = 19) THEN ExitCode := 0
  ELSE ExitCode := 1 END
END tctor4.