Artifacts of gazelle-utils #5