#objdump: -dr .*: file format .* Disassembly of section \.text: 0000000000000000 <.*>: 0: 36080000 tbz w0, #1, 0 0: R_AARCH64_TSTBR14 bar\+0x8000