let pr_nat =
  let rec f = (* Converts a nat_2 value to an int value *)
              function Z -> 0 | Uno -> 1 | S2 (n) -> f (n) + 2
  in
    function
      ppf -> function n -> Format.open_box 0 ;
                           Format.print_string (string_of_int (f (n))) ;
                           Format.close_box () ;