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