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