/*
 * Empty file waiting for deletion once <mach/timex.h> isn't needed any more.
 */