print-and-return is now public