package body Limited2_Pack_1 is type B is record F : Integer := 0; end record; end Limited2_Pack_1;