let mu_indir (p:D1.pointer) (i:D1.integer) 
                   (t:Ctypes.c_object) (x:D1.abstract) : D1.abstract =
        D1.e_app4 "mu_indir" p i (D1.format_of_object t) x