| getCPUTime
                  ::  IO IntReturns the current cpu time of the process in milliseconds. | 
| getElapsedTime
                  ::  IO IntReturns the current elapsed time of the process in milliseconds. | 
| 
                       Returns the current cpu time of the process in milliseconds. 
 | 
| 
                       Returns the current elapsed time of the process in milliseconds. This operation is not supported in KiCS2 (there it always returns 0), but only included for compatibility reasons. 
 |