package body Compk4 is
    function K4 return Integer is
    begin
        return 4;
    end K4;
end Compk4;