Title: A fast garbage-compaction algorithm