svoid resetPrintLogToLocalLog(Class c) {
  O log = getOpt(c, 'print_log);
  if (log != null)
    setOpt(c, local_log := log);
}