static void nlPrint(O o) {
  print("\n" + str(o));
}