( 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 ) ;