let pp_object fmt = function
| C_int i -> pp_int fmt i
| C_float f -> pp_float fmt f
| C_pointer _ -> Format.pp_print_string fmt "obj-pointer"
| C_comp _ -> Format.pp_print_string fmt "obj-struct/union"
| C_array _ -> Format.pp_print_string fmt "obj-array"