{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                writeln!(generated_asm, ", [x19, 0x{:x}]", offset.bytes()).unwrap();
            InlineAsmArch::RiscV64 => {