long debug_clock(void);
debug_clock returns the number of milli-seconds since the start of execution.