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