On 5/15/15 1:28 PM, Timon Gehr wrote: > I have just noticed that all the calls to alignedAllocate do not pass > the alignment argument. Crikey, that must have something to do with all that missing test coverage :o). -- Andrei