A malloc implementation for 64-bit Linux