please include function robot_safetyKeyReleaser.

svoid robot_safetyKeyReleaser_remove(int key) {
  robot_safetyKeyReleaser_keysPressed.remove(key);
}