package body Compk12 is
    function K12 return Integer is
    begin
        return 12;
    end K12;
end Compk12;