let elements s =
  elements_aux [] s