Comment by steveklabnik

All safe code is inherently built on top of unsafe code.