pub const arm_insn_ARM_INS_WFI: arm_insn = 470;