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