Artifacts of gazelle-tm-tools #1028