You'd write the allocator or low-level memory access logic once with unsafe code and afterwards all code using the functionality can be written as safe code. Th

You'd write the allocator or low-level memory access logic once with unsafe code and afterwards all code using the functionality can be written as safe code. That limits the amount of code that can have data races.