And simply check hash32 against 0x051EB333 instead of 0x19998000.
Should this be hash32 rather than hash32 (because of the little endian reversal)?
Thanks for catching that. It should be hash32 actually because we should be checking the second to last 32 bit part, and the last is 7 because we start counting at zero. I'll edit my post.