svoid robot_pressAndRelease_backslash_englishLayout() {
  robot_keyPressAndRelease(KeyEvent.VK_BACK_SLASH);
}