This is a problem inherit to all malloc() implementations, since it never gets any type information it can't ever make any adjustments about alignment of the fi

This is a problem inherit to all malloc() implementations, since it never gets any type information it can't ever make any adjustments about alignment of the final type that's involved. I'm not actually sure what the fully correct way to ensure that would be.