Mario (nombre propio): Nombre de pila de varón.