{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"thin_buffers.push(buffer);"}]}
            thin_buffers.push(buffer);
            });
            module_names.push(cname);