Evaluated proc +doxaddr {who args} {+dox $who address $args}