let fol_field_update s field v = let f, _ = get_field field in Why_ops.field_update s f field.fcomp.cstruct v