int main(int argc, char *argv[]) {
global = new t4_state('s');
setvbuf(stdout, NULL, _IONBF, 0);
setvbuf(stderr, NULL, _IONBF, 0);
int main(int argc, char *argv[]) {
global = new t4_state('s');
setvbuf(stdout, NULL, _IONBF, 0);
setvbuf(stderr, NULL, _IONBF, 0);