I think the plan at that time was not to change nothing. I had a large matrix of configurations and type settings in front of me, and I must have interpreted some wrong. We should get typesizes.h and the mig sizes in synch, but we'll have to figure out which should change.