package body Compk17 is
    function K17 return Integer is
    begin
        return 17;
    end K17;
end Compk17;