@dillo you have a bug there in the C code you want to fix, says GCC ;-)