We don't: it also adds one field per compilation unit, and opens up the possibility of deadlocks, since now there *are* two locks you can grab. So in practice you still need to know if some code uses the intrinsic lock. Any way you look at it, locks don't compose well.