What are Mario’s favorite kind of overalls? Denim denim denim