module Time_stamp_counter_benchmarks: sig .. end
sig
end
module TSC: Time_stamp_counter
Time_stamp_counter