int savegame(tb1_state *game_state);
void loadgame(tb1_state *game_state);