let id_from_init iname =
  match (fst iname) with
    | s, _, _, _ -> s