1The tokenize function tokenizes strings into lists of quoted identifiers (see Section 8.12).