{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"writeln!(begin,"}]}
            writeln!(begin, ".section {section},\"\",@").unwrap();
            // wasm functions cannot be aligned, so skip