Incomplete code for running RDTSC for measuring time

- taken from an email from Stephen