static O gOneAssoc() {
  ret func {
    L<S> log = genLog();
    for (int i = l(log)-2; i >= 0; i--)
      if (eqic(log.get(i), last(log)))
        ret log.get(i+1);
    null;
  };
}