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