static bool smallestList_nempty(O l) {
  ret l != null;
}