Artifacts of gazelle-tm-tools #1086