The purpose of the language is clear to me: make it practical to prove that >90% of a C file-munging library is safe from several common types of errors. I wil

The purpose of the language is clear to me: make it practical to prove that >90% of a C file-munging library is safe from several common types of errors. I will be looking into reorganizing some of my existing C library code of this type into large Wuffs components and small interaction-with-outside-world components.