Notes on auditing acquire/release pairs.