static void incIntThreadLocal(ThreadLocal<Int> tl) {
  tl.set(toInt(tl!)+1);
}

ifclass BetterThreadLocal
static void incIntThreadLocal(BetterThreadLocal<Int> tl) {
  tl.set(toInt(tl!)+1);
}
endif