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