{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"so"}]}
so despite outer `unsafe`, you need extra unsafe to perform unsafe operations
The block must have unit type or diverge. The block starts a new safety context,
within `label <block>`.