sclass VirtualThread {
  Thread realThread;
  
  Map<IVar, Map<Thread, O>> virtualThreadLocalData = weakMap();

  void setRealThread(Thread t) { realThread = t; }
}