svoid printWhileNotNull(IF1 f) {
  if (f == null) ret;
  O o;
  while ((o = f.next()) != null)
    print(o);
}