We have the following work items to do:

• Create an optional header file: Create header file for erasable Checked C annotations #496
• Create several examples of using the optional header file in code that compiles with and without a compiler that supports Checked C.: Create examples of using the optional header file for erasable syntax. #497
• Create Wiki documentation explaining how to write code using the erasable code. issue Update Wiki documentation on erasable syntax #495
• Update the Checked C specification to describe the new syntax. Update the Checked C specification to describe erasable syntax #494

Issue #470 provides some feedback on the overall idea.