is not true on the alpha. I think that other parts of this code also make this implicit assumption as well.