static void setConsoleIcon(S imageID) {
  consoleIcon_mem(imageID);
}