/a+/
Nat
START |N a t a |N a t Nope START N|a t a N|a t Yes! + N<a|t a N<a|t Nope END N<a>t Yes!
We reached END, so the match succeeds; it found the a part of Nat
Note! It tries to get another a before it goes to END.
