define TYPE-DESIGNATOR
PRINT-HASH-TABLE: Declare type of FORMAT-CONTROL arg
define READ-CHARACTERS