int system.rdtsc()
executes the rdtsc (clock pulse counter) instruction and returns the result
Extracted from Pike v7.3 release 11 at 2001-11-03.