And it is supposed to be safer than a language that is only memory-safe The memory-safe languages can still panic or have integer overflows, Wuffs should preve

And it is supposed to be safer than a language that is only memory-safe The memory-safe languages can still panic or have integer overflows, Wuffs should prevent even that