TIMES - get process times.

Support for this function has been discontinued. Use "clock" instead. See "expl c lib clock" for details.