!7

static Lock lock = lock();

p {
  lock lock;
  Thread t = newThread(r {
    try {
      lock lock;
    } finally {
      print("Finally!");
    }
  });
  startThread(t);
  sleepSeconds(1);
  t.interrupt();
}