test_cases:
  -
    input:
      bytes: [ 0x00, 0xbf, 0x10, 0xbf, 0x20, 0xbf, 0x30, 0xbf, 0x40, 0xbf, 0xbf, 0xf3, 0x5f, 0x8f, 0xbf, 0xf3, 0x5f, 0x8f, 0xbf, 0xf3, 0x4f, 0x8f, 0xbf, 0xf3, 0x4f, 0x8f, 0xbf, 0xf3, 0x6f, 0x8f, 0xbf, 0xf3, 0x6f, 0x8f ]
      arch: "CS_ARCH_ARM"
      options: [ "CS_OPT_ONLY_OFFSET_BRANCH", "CS_MODE_THUMB" ]
    expected:
      insns:
        -
          asm_text: "nop"
        -
          asm_text: "yield"
        -
          asm_text: "wfe"
        -
          asm_text: "wfi"
        -
          asm_text: "sev"
        -
          asm_text: "dmb sy"
        -
          asm_text: "dmb sy"
        -
          asm_text: "dsb sy"
        -
          asm_text: "dsb sy"
        -
          asm_text: "isb sy"
        -
          asm_text: "isb sy"
