This should fix the 'empty array compilation error'.
Also in this patch is a fix for a GCC -Wconversion warning in the generated verify_case function.
This should fix the 'empty array compilation error'.
Also in this patch is a fix for a GCC -Wconversion warning in the generated verify_case function.