let
ignore_inst = ref (
fun
_i
->
false
)