Evaluated proc time2date t {clock format $t -format %T}