100644 blob 33ed272c3ce2d186c1855727f9867509da510510	bad-procedure-number-negative.x
100644 blob 521581c57358e27b1d2eda76c28860abba84d9b8	bad-procedure-number-too-large.x
100644 blob f7b71ee07f6c0b107a048d5e5e6d0fbcf336baf4	bad-program-number-negative.x
100644 blob c761584e712f60989ca287514ee6a863874fff28	bad-program-number-too-large.x
100644 blob dd9c773435c022e1dbbfe972c1ad77fb70a81def	bad-version-number-negative.x
100644 blob dd44f6eed564b3b224386ee30f0d0124aea32acf	bad-version-number-too-large.x
100644 blob 90c8587f6fe54a02951e094311fcfe83323b304e	test.x