Symbol: mach_time_t