import std.stdio;import std.c.stdlib;import std.c.time;void main(){int t;char[20]s;setenv("TZ","right/UTC",1);for(;scanf("%d",&t)>0;puts(&s[0]))strftime(&s[0],20,"%F %T",gmtime(&t));}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).