{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"serialized_modules.push((buffer,"}]}
                serialized_modules.push((buffer, CString::new(name).unwrap()));
                info!("pushing serialized module {:?}", name);
            }