1. Annotate all cases which falls through with whatever GCC has decided is the latest for C. 2. Enable the fall through checks in compilation.