Support nested critical sections