exception Macro_not_found of string
exception Utf8_not_found of string

  (* @param macro name
     @return utf8 string *)
val expand: string -> string

val contract: string -> string