svoid copyLocalLog(O src, O dest) {
  O log = getOpt(src, "local_log");
  if (log != null)
    setOpt(src, +local_log);
}