int     timbuf[2];
char    *cbp;

char *tzname[2];
char    cbuf[];
char    *cbp;

main()
{
        register char *tzn;

        extern int timezone, *localtime();

        time(timbuf);
        cbp = cbuf;
        ctime2(timbuf);
        write(1, cbuf, 20);
        tzn = tzname[localtime(timbuf)[8]];
        if (tzn)
                write(1, tzn, 3);
        write(1, cbuf+19, 6);
}