package body Compk1 is
    function K1 return Integer is
    begin
        return 1;
    end K1;
end Compk1;