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