let fterm_of_havoc_index t idx = Hlib.havoc_index t idx