let havoc_field : (D.record -> D.name -> D.record) =
    D.e_app2 "havoc_index"