(make-game-state n m) ; returns a state with n coins in ; first pile and m coins in secondA selector for the ADT Game State:
(size-of-pile game-state p) ; returns number of coins in ; p-th pile of game-stateQ: (size-of-pile (make-game-state 5 8) 2)= __?__