#include <stdlib.h>
#include <locale.h>
char * setlocale(int category, const char *locale) {
return "en_US";
}