C: union, Pascal: record ...case ...of ...end;
Falls A, B,... Einermengen: T ist Aufzählungstyp. Zugriff: Fallunterscheidung