svoid robot_safetyKeyReleaser_add(int key) {
  robot_safetyKeyReleaser_keysPressed.put(key, sysNow());
  robot_safetyKeyReleaser().trigger();
}