package body Compk25 is
    function K25 return Integer is
    begin
        return 25;
    end K25;
end Compk25;