void help(tb1_state *game_state);