static Lock defaultLock() {
  ret mainLock();
}