print characters using names when *print-readably* is true