pollution: category
pollution: locale
extern char *setlocale(int category, const char *locale);