package body Compk7 is
    function K7 return Integer is
    begin
        return 7;
    end K7;
end Compk7;