{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"12:"}]}
  12:   e7ff            b.n     14 <entry_function+0x14>
  10:   d30b            bcc.n   2a <entry_function+0x2a>
  14:   9800            ldr     r0, [sp, #0]