(module Time_stamp_counter)