sclass VirtualThread {
  Map<IVar, Map<Thread, O>> threadLocalData = weakMap();
}