Actually, since all pointers originate in the state manager, we don't need to care about alignment at all.