Most of the checks reduce to range checks, eg overlong sequences have 0's in the low-order bits of the first byte, which means 0xE0 is invalid. I don't think h

Most of the checks reduce to range checks, eg overlong sequences have 0's in the low-order bits of the first byte, which means 0xE0 is invalid. I don't think he missed anything.