Evaluated proc doxd {} { m [aa? dox] {x {dox $x}} "\n \n" }