let format_of_addr _ty =
    (* format_of_c_int_type (Ctypes.c_ptr()) *)
      F.e_app0 "rt_addr_format"