³The printTokens function takes a list of quoted identifiers and converts it into a string with the usual printing conventions (see Section 8.12).