text_clock displays time in milliseconds

User should give two interval parameters like those for the timer
program. text_clock program will set its refresh rate according to
that interval.