TYPE handshake IS (removed, acked, released, present);
TYPE color_type IS RECORD tag1 : integer; tag2 : integer; . . tag15 : integer; boole1 : boolean; boole2 : boolean; boole3 : boolean; END RECORD;