Original: Their surname was '' Mario '' , resulting in Mario 's full name being first given here as '' Mario Mario '' .
Simplified: Later , he was named '' Mario '' , after Mario Segale , who was a lot like Mario .