svoid verbalize_listLength(O o) {
  if (o instanceof L)
    emit("The list contains " + n2(o, "entry"));
}