let
fterm_of_havoc_range t i =
D
.e_app2
"set_range_index"
t i