package Compk23 is
    function K23 return Integer;
end Compk23;