let upd_field s f v  =
    let fmt = format_of_object (Ctypes.object_of f.ftype) in
    let fid = Findex.get_ind f in
    let upd = if f.fcomp.cstruct then farray_update else mk_update_ufield in
    e_app3 upd s fid (e_app2 "encode" fmt v)