svoid robot_pressAndRelease_vbar_englishLayout() {
  robot_keyPressAndReleaseWithModifiers(KeyEvent.VK_BACK_SLASH, KeyEvent.SHIFT_MASK);
}