let get_team_name t = t.name