let havoc_ufield : (D.urecord -> D.name -> D.urecord) =
    D.e_app2 "havoc_ufield"