m := ThreadMutex->New("lock a");
# section locked
critical(m) {
   ...
}
# section unlocked