Module Core__Time_stamp_counter_benchmarks

module TSC = Core.Time_stamp_counter