I have discovered that in v3.16 in functions.md for the 'waitforinterrupt2' example(isr_debounce.c), using WPIWfiStatus two of its members are not implemented correctly. In functions.md, the code says ...