{$warn symbol_platform on}
{$warnings-}
{$warn symbol_platform off}
{$warnings+}
begin
end.