Alphabet size 2 example and doctests