static Lock ai_activeSpecLock = lock();

static Lock ai_activeSpecLock() {
  ret ai_activeSpecLock;
}