Maybe point out that it is the case if there are bugs in the C code.