main -> main 'b' | ''