static void printLogMaxCharsInProgram(O prog, int chars) {
  setOpt(o, print_log_max := chars/2);
}