     Serial.println (state);
   }
   digitalWrite (pin, state ? HIGH : LOW);
-}
+}

    
    // execute current state
    update_machine();      
  }
}


const int CLAW_PIN = 13;
const int COIN_PIN = 8;

// Serial enabled if GM_DEBUG is false.
const bool GM_DEBUG = false;

//
