I sent mail to Matt: I don't understand this. If all objects have size divisible by 4, then since the base of memory is divisible by 4, this would make everything aligned. What am I missing?