12345678910111213141516171819202122232425(*---------------------------------------------------------------------------
Copyright (c) 2014 The uucp programmers. All rights reserved.
SPDX-License-Identifier: ISC
---------------------------------------------------------------------------*)includeUucp_name_baselettok_leni=letrecloopsizei=ifString.unsafe_getUucp_name_data.name_toksi='\x00'thensizeelseloop(size+1)(i+1)inloop0iletget_toki=String.subUucp_name_data.name_toksi(tok_leni)letnameu=letu=Uchar.to_intuinmatchUucp_tmap5bytes.get_uint20_pairUucp_name_data.name_mapuwith|0,0->""|l,0->get_tokl|0,r->Printf.sprintf"%s%04X"(get_tokr)u|l,r->String.concat""[get_tokl;get_tokr]letname_aliasu=Uucp_cmap.getUucp_name_data.name_alias_map(Uchar.to_intu)