package body Compk13 is
    function K13 return Integer is
    begin
        return 13;
    end K13;
end Compk13;