insns-z13-bad.txt 1.14 KB