Copy-pasted example memory allocator to sources.