static void silenceProgram(O program) {
  setOpt(program, "print_silent", true);
}