An ADT for Nim

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