__validate_ibt_insn
return __validate_ibt_insn(file, insn, dest);
warnings += __validate_ibt_insn(file, insn, dest);