mario was a girl?