cputime.c revision ebd7e7fc
1