Almost-proof for partial correctness of Armstrong/Virding, and note of bugs found
Write about Armstrong/Virding allocator