svoid printWithNL(O o) {
  print(str(o) + "\n");
}