alignment

Two additions I think are required: 1) The spec should state that mallocBytes and allocaBytes return a block of memory sufficiently aligned for any of the primitive types supported by the architecture. 2) The description of Storable should require sizeOf x `mod` alignment x = 0 The library implementation of mallocArray implicitly assumes this, and C also requires that elements of an array are allocated contiguously.