Currently the term "unsafe" is overloaded, as both the keyword used to mark definitions of things that require manual verification, and as the keyword used to mark a block to acknowledge that such verification has been done.

The correct approach is obviously to separate these two terms, and use "sus" to mark items that require verification, and "yolo" to mark that such verification has been done. Or:

    sus fn dangerous() { ... }
    
    yolo { dangerous() } // can only call dangerous inside a yolo block

This is getting into Lolcode territory.

I HAZ A var ITZ A BUKKIT OF YARN

also three letter shorter, so a definite improvement.