let label = function
  | Label(lab,_,_) -> lab
  | Case _ | Default _ -> assert false