[libFuzzer] make sure that 2-byte arguments of switch() are handled properly