Start using the new '%pS' infrastructure to print symbols