don't print-and-return symbols that resolve to fns