{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                // but due to limitations with `.weak` (see above) we can't really use that in general yet
            writeln!(begin, "{asm_name}:").unwrap();