def __init__(self, machine):

        self.timers = set()
        self.timers_to_remove = set()
        self.timers_to_add = set()
        self.log = logging.getLogger("Timing")
        self.machine = machine

        try:
            Timing.HZ = self.machine.config['timing']['hz']
        except __HOLE__:
            Timing.HZ = 30

        self.log.debug("Configuring system Timing for %sHz", Timing.HZ)
        Timing.secs_per_tick = 1 / float(Timing.HZ)
        Timing.ms_per_tick = 1000 * Timing.secs_per_tick
dataset/ETHPy150Open missionpinball/mpf/mpf/system/timing.py/Timing.__init__