59 states 41 scans 21 shifts 36 reductions 2 compares 0 ambiguities
((( a  b  : )( b  +  b )) ; )