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