static void nlPrintNL(O o) {
  print_doubleNL(o);
}