Implement auto-compaction#1