Tagged game-programming