val macro2utf8 : (string,string) Hashtbl.t
val utf82macro : (string,string) Hashtbl.t