package body Compk2 is
    function K2 return Integer is
    begin
        return 2;
    end K2;
end Compk2;