The Storage implementors contain a lot of unsafe code, but they are severely lacking tests, greatly increasing the risk of UB.