( timestr ) ( -- s ) ( returns time in format HH/MM/SS          )
( requires timedate macro ) ( adapted from...                   )
( timetostr from TimeTraveller, #13775 5/12/92, by WhitteRabbit )

: addzero  ( n -- s n )  ( s is "0" if n < 10, otherwise s is "" )
  dup 10 < if "0" else "" then swap
;

: timestr
  .timedate
  pop pop pop
  intostr ":" strcat   ( hours )
  swap addzero intostr ":" strcat strcat strcat   ( minutes )
  swap addzero intostr strcat strcat   ( seconds )
;