package body Compk9 is
    function K9 return Integer is
    begin
        return 9;
    end K9;
end Compk9;