let
fterm_of_havoc_index t idx =
Hlib
.havoc_index t idx