svoid robot_altF4() {
  robot_type_alt_functionKey(4);
}