[8-byte alignment]
>  > Does our Malloc do this?
> 
> Well, mallocs on the Alpha are certainly suitably aligned, so it's
> possible, at least :-)
> 

The reason I asked is that some Mallocs use a union with a type that 
requires maximum alignment (eg double).  That won't work here, since no 
type on the ARM requires that by default -- it's just that we can generate 
more efficient code in some cases if we know that they are more aligned 
than that.

> The minimum allocation size is currently 16 bytes, and it appears to
> be a power-of-two allocator, so I think we're okay.

Good.

R.