#objdump: -dr

.*:     file format .*

Disassembly of section \.text:

0000000000000000 <.*>:
   0:	3619194c 	tbz	w12, #3, 2328 <\.text\+0x2328>