main -> 'a' | main 'a'