This commit introduces the following changes:
- 'locked' becomes 'lock'
- 'locked&' becomes 'locked'
- references reachable from a locked reference are noted as 'lock->'