It's just normal library code usually called by the allocator, and well-specified memory object/pointer layouts.