static S ai_dropDroppableStuff(S s) {
  S s2;
  while (neq(s, s2 = ai_dropDroppablePrefix(ai_dropDroppableTail(s))))
    s = s2;
  ret s;
}