> Imagine a big codebase with this somewhere in it:

    fn processThing(thing: Thing) void {

       // this function must always be invoked on

       // a thing that has already been started

       assert(thing.is_started);

   

       // ...

    }

I know you mentioned fuzzing earlier in the article but seriously, fuzzing deserves an extra mention after reading that.