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