| loops 4 |
| many 30 level 10 total_locks: 310 |
| init level 0 |
| init level 1 |
| init level 2 |
| init level 3 |
| init level 4 |
| init level 5 |
| init level 6 |
| init level 7 |
| init level 8 |
| init level 9 |
| locking level 0 |
| locking level 1 |
| locking level 2 |
| locking level 3 |
| locking level 4 |
| locking level 5 |
| locking level 6 |
| locking level 7 |
| locking level 8 |
| locking level 9 |
| unlocking level 0 |
| unlocking level 1 |
| unlocking level 2 |
| unlocking level 3 |
| unlocking level 4 |
| unlocking level 5 |
| unlocking level 6 |
| unlocking level 7 |
| unlocking level 8 |
| unlocking level 9 |
| deleting level 0 |
| deleting level 1 |
| deleting level 2 |
| deleting level 3 |
| deleting level 4 |
| deleting level 5 |
| deleting level 6 |
| deleting level 7 |
| deleting level 8 |
| deleting level 9 |
| many 30 level 10 total_locks: 310 |
| init level 0 |
| init level 1 |
| init level 2 |
| init level 3 |
| init level 4 |
| init level 5 |
| init level 6 |
| init level 7 |
| init level 8 |
| init level 9 |
| locking level 0 |
| locking level 1 |
| locking level 2 |
| locking level 3 |
| locking level 4 |
| locking level 5 |
| locking level 6 |
| locking level 7 |
| locking level 8 |
| locking level 9 |
| unlocking level 0 |
| unlocking level 1 |
| unlocking level 2 |
| unlocking level 3 |
| unlocking level 4 |
| unlocking level 5 |
| unlocking level 6 |
| unlocking level 7 |
| unlocking level 8 |
| unlocking level 9 |
| deleting level 0 |
| deleting level 1 |
| deleting level 2 |
| deleting level 3 |
| deleting level 4 |
| deleting level 5 |
| deleting level 6 |
| deleting level 7 |
| deleting level 8 |
| deleting level 9 |
| many 30 level 10 total_locks: 310 |
| init level 0 |
| init level 1 |
| init level 2 |
| init level 3 |
| init level 4 |
| init level 5 |
| init level 6 |
| init level 7 |
| init level 8 |
| init level 9 |
| locking level 0 |
| locking level 1 |
| locking level 2 |
| locking level 3 |
| locking level 4 |
| locking level 5 |
| locking level 6 |
| locking level 7 |
| locking level 8 |
| locking level 9 |
| unlocking level 0 |
| unlocking level 1 |
| unlocking level 2 |
| unlocking level 3 |
| unlocking level 4 |
| unlocking level 5 |
| unlocking level 6 |
| unlocking level 7 |
| unlocking level 8 |
| unlocking level 9 |
| deleting level 0 |
| deleting level 1 |
| deleting level 2 |
| deleting level 3 |
| deleting level 4 |
| deleting level 5 |
| deleting level 6 |
| deleting level 7 |
| deleting level 8 |
| deleting level 9 |
| many 30 level 10 total_locks: 310 |
| init level 0 |
| init level 1 |
| init level 2 |
| init level 3 |
| init level 4 |
| init level 5 |
| init level 6 |
| init level 7 |
| init level 8 |
| init level 9 |
| locking level 0 |
| locking level 1 |
| locking level 2 |
| locking level 3 |
| locking level 4 |
| locking level 5 |
| locking level 6 |
| locking level 7 |
| locking level 8 |
| locking level 9 |
| unlocking level 0 |
| unlocking level 1 |
| unlocking level 2 |
| unlocking level 3 |
| unlocking level 4 |
| unlocking level 5 |
| unlocking level 6 |
| unlocking level 7 |
| unlocking level 8 |
| unlocking level 9 |
| deleting level 0 |
| deleting level 1 |
| deleting level 2 |
| deleting level 3 |
| deleting level 4 |
| deleting level 5 |
| deleting level 6 |
| deleting level 7 |
| deleting level 8 |
| deleting level 9 |
| stats: init 1240 lock 1240 unlock 1240 destroy 1240 |
