let elements s =
      elements_aux [] s