{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"writeln!(out,"}]}
    writeln!(out, "<head><title>Polonius MIR dump</title></head>")?;
    writeln!(out, "<html>")?;
    writeln!(out, "<body>")?;