International_symbols loading ...