package Pure_Subp_Body_Pkg is
end Pure_Subp_Body_Pkg;