Time Reading

Opcodes one can use to read time values are readclock, rtclock, timeinstk, timeinsts, timek, and times.