Not much need for that. But I would now change the rule so that the number-list must have 34 at both ends. It is little illogical and ugly that there is only on

Not much need for that. But I would now change the rule so that the number-list must have 34 at both ends. It is little illogical and ugly that there is only one 34 but two quotation marks is prettyprinted. > '(34 72 101 108 108 111) "Hello"