autoflush STDOUT 1;