use debug_insn_start to have nicer debug traces