pptoken error

Although the string for # error and # warning is supposed to consist of pp-tokens, common practice is to accept anything.