package body Compk15 is
    function K15 return Integer is
    begin
        return 15;
    end K15;
end Compk15;