Convert 'TicTacToe' example.