{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"println!(\"Dumped"}]}
                    println!("Dumped reproducer {}", module.name);
                    context.dump_reproducer_to_file(format!("/tmp/reproducers/{}.c", module.name));
                }