let
getStateName num = (getState num).name