static void unlock(Lock lock, S msg) {
  print("Unlocking: " + msg);
  lock.unlock();
}