allow unsigned long instead of unsigned in regression test for hex_trace

Author: polgreen

regression/cbmc/hex_trace/test.desc

@@ -4,10 +4,10 @@ main.c
 ^EXIT=10$
 ^SIGNAL=0$
 a=0 \s*\(0x0\)
-b=0u \s*\(0x0\)
+b=0ul? \s*\(0x0\)
 a=-100 \s*\(0xFFFFFF9C\)
 a=2147483647 \s*\(0x7FFFFFFF\)
-b=4294967294u \s*\(0xFFFFFFFE\)
+b=4294967294ul? \s*\(0xFFFFFFFE\)
 a=-2147483647 \s*\(0x80000001\)
 ^VERIFICATION FAILED$
 --