Merge branch 'no-prev' of https://github.com/faiq/transiclosure
Merge branch 'master' of https://github.com/faiq/transiclosure
RDTSC