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