cpu-time

[procedure] cpu-time

ChezScheme: statistics