package Compk13 is
    function K13 return Integer;
end Compk13;