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