please include function print.

static void printNoNewLine(O o) {
  print_noNewLine(str(o));
}