Pointers are 2x bigger on 64 bit machines, so we should allocate twice the memory to have a comparable heap size.