package Compk25 is
    function K25 return Integer;
end Compk25;