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