コメントのSafety条件を呼ぶ側で保証できる時はunsafe外していいよ
逆にSafety条件をコメントに明示できないunsafe関数はゴミ
条件の保証を外に丸投げする時は内部で使ってるunsafe関数のSafetyセクションをコピペしとくといい