let
empty_team = make_team 0