svoid robot_pressAndRelease_tilde_englishLayout() {
  robot_keyPressAndRelease(KeyEvent.VK_TILDE);
}