--- /dev/null
+#!/usr/bin/env python
+# -*- Python -*-
+
+import sys
+import fileinput
+
+skip_count = 4096
+lineno = 0
+last_error = 0
+
+for line in fileinput.input ():
+ lineno += 1
+ if lineno < skip_count:
+ continue
+ (offset, dec_val, hex_val) = line.split ()
+ if lineno == skip_count:
+ expected_val = int (dec_val)
+ int_dec_val = int (dec_val)
+ int_hex_val = int (hex_val, 16)
+ if int_dec_val != expected_val:
+ print "line %6d, delta %4d, expected %6d, got %6d" % (lineno,
+ lineno - last_error,
+ expected_val,
+ int_dec_val)
+ last_error = lineno
+ elif ((int_hex_val >> 12) & 0xf) != (int_hex_val & 0xf):
+ print "line %6d, delta %4d, invalid high bits %04x" % (lineno,
+ lineno - last_error,
+ int_hex_val)
+ last_error = lineno
+
+ # expected_val = (expected_val + 1) & 0xffff
+ expected_val = (expected_val + 1) & 0x0fff
+
+
+
+
+
+