> There is no intent that this is how things should work. If things have changed since the last mixed-size port I did, well, then I can't tell you what it's supposed to do now.