let print_term ?user_name_from_int b t =
  let t = explode t in
  (snd (printer ?user_name_from_int:user_name_from_int b)) t