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