Red is Mario, and who is green?