I was digging into code of flatbuffers and it does seem to me that there is undefined behavior in the c