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