let _team (s:student) (padd:paddress) = 
  match H.get_assoc s.teams padd with t -> t.n