(text (nop) (label bar (jmp quux)) (locals (bar quux) (nop) (label bar) (jmp quux) (nop) (label quux) (jmp bar) (nop)) (label quux (jmp bar))) ; 00000000 90 nop ; bar: ; 00000001 E90D000000 jmp 0x13 ; jmp quux ; 00000006 90 nop ; local bar: ; 00000007 E901000000 jmp 0xd ; jmp local quux ; 0000000C 90 nop ; local quux: ; 0000000D E9F5FFFFFF jmp 0x7 ; jmp local bar ; 00000012 90 nop ; quux: ; 00000013 E9E9FFFFFF jmp 0x1 ; jmp bar