-- -- File Name: type_test.2.ada -- package body Type_Test is type T5 is record C : Boolean; end record; type T6 is new Integer; end Type_Test;