// This is way too big, but we're not checking this in the scanner.
0xDEADBEEF
