Artifacts of Succinct Core #42