Stream compaction is correct for real now