Symbol: _MACHINE_CLOCK_H_