{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"coverage_info_hi:"}]}
            coverage_info_hi: None,
            tainted_by_errors: None,
            function_coverage_info: None,