Artifacts of gazelle-tm-war #1257