Add printf after rdtsc.