MODULE tvarassign;
// Whole-variant-record assignment (flat blit; overlapping fields).
TYPE R = RECORD k: INTEGER;
                CASE tag: BOOLEAN OF
                  TRUE : b: INTEGER |
                  FALSE: c: ARRAY [0..7] OF CHAR
                END END;
VAR r, q : R;
VAR ExitCode : INTEGER;
BEGIN
  r.k := 1; r.tag := TRUE; r.b := 99;
  q := r;
  IF (q.k = 1) AND (q.tag = TRUE) AND (q.b = 99) THEN ExitCode := 42
  ELSE ExitCode := 1 END
END tvarassign.