main -> 'a' | 'aa' | 'aaa'