let rec get_state_names statelist = match statelist with
    (name,_,_)::rest ->
      name::(get_state_names rest)
  | [] -> []