void WarpMenu(void) { StartGameMenu("Level Warp", 0); }
void WarpMenu(TXT_UNCAST_ARG(widget), void *user_data) { StartGameMenu("Level Warp", 0); }
void StartMultiGame(void) { StartGameMenu("Start multiplayer game", 1); }
void StartMultiGame(TXT_UNCAST_ARG(widget), void *user_data) { StartGameMenu("Start multiplayer game", 1); }