{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"covfun::generate_covfun_record(cx,"}]}
        covfun::generate_covfun_record(cx, &global_file_table, covfun)
    for covfun in &covfun_records {
    }