let print_variable ?user_name_from_int b v =
  (fst (printer ?user_name_from_int:user_name_from_int b)) v