Pointers returned by `malloc` should be 8 byte aligned on 64-bit systems (and 4-byte on 32-bit).
Pointers returned by
mallocshould be 8 byte aligned on 64-bit systems (and 4-byte on 32-bit).