using read_timer() instead of the original FFLD timer in FFLD.