let indir (p:D1.pointer) (t:Ctypes.c_object) : D1.abstract =
        D1.e_app2 "indir" p (D1.format_of_object t)