@@ @@

 fn1(int i) {
- foo_lock();
 ...
 }

 fn2(int i) {
- foo_unlock();
 }