test_cases:
  -
    input:
      bytes: [ 0x00, 0x00, 0x00, 0x00 ]
      arch: "CS_ARCH_AARCH64"
      options: [ "CS_OPT_NO_BRANCH_OFFSET", "aarch64-" ]
    expected:
      insns:
        -
          asm_text: "udf #0"

  -
    input:
      bytes: [ 0x01, 0x02, 0x00, 0x00 ]
      arch: "CS_ARCH_AARCH64"
      options: [ "CS_OPT_NO_BRANCH_OFFSET", "aarch64-" ]
    expected:
      insns:
        -
          asm_text: "udf #513"

  -
    input:
      bytes: [ 0xff, 0xff, 0x00, 0x00 ]
      arch: "CS_ARCH_AARCH64"
      options: [ "CS_OPT_NO_BRANCH_OFFSET", "aarch64-" ]
    expected:
      insns:
        -
          asm_text: "udf #65535"
