static void setThreadLocalOpt(O o, S name, O value) {
  ThreadLocal t = cast getOpt(o, name);
  if (t != null) t.set(value);
}