actually, we probably don't need to support *print-dup*, comment out for now