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