let acc_field s f = let fmt = format_of_object (Ctypes.object_of f.ftype) in let fid = Findex.get_ind f in let acc = if f.fcomp.cstruct then farray_access else mk_access_ufield in e_app2 "decode" fmt (e_app2 acc s fid)