{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":"hi,"}]}
            hi,
            "Malformed encoded span: hi={:?} source_file.original_start_pos={:?} source_file.original_end_pos={:?}",
            source_file.original_start_pos,