# ctime.awk## awk version of C ctime(3) functionfunction ctime(ts,    format){    format = "%a %b %d %H:%M:%S %Z %Y"    if (ts == 0)        ts = systime()       # use current time as default    return strftime(format, ts)}