static new O dummyMutex_value;

sO dummyMutex() {
  ret dummyMutex_value;
}