Special case 8 byte instruction validation to workaround undefined
behavior in C