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