package Compk4 is
    function K4 return Integer;
end Compk4;