val read_map : mapping -> int -> intval create_mapping_rw : int -> mapping_rwval mapping_rw_to_ro : mapping_rw -> mappingval add_mapping : mapping_rw -> int -> int -> unitval create_rw : int -> int -> rwval add : rw -> int -> int -> unitval no_char_ucs : t -> intval no_char_enc : t -> intval enc_to_ucs : t -> int -> intval ucs_to_enc : t -> int -> intval of_name : string -> t