let ignore_inst = ref (fun _i -> false)