type Rec (Discr : Integer) is record A, B : Integer; end record;
