{"ast_node_type":"other","tokens":[{"end":2,"kind":"keyword","start":0,"text":"//"}]}
//
//    (see comment in `codegen_inline_asm` for explanation).
// With that in mind, let's see how we translate Rust syntax to GCC