I don't quite understand this assertion. According to the manpage (on OSX):

> The allocated memory is aligned such that it can be used for any data type, including AltiVec- and SSE-related types.

Why would we check what's already guaranteed? This seems like a platform/architecture specific check that's likely to fail.