Date: Tue, 24 Dec 2002 13:11:09 -0500 From: DJ Delorie <dj@redhat.com> > 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. No claim is made that all the necessary support is currently there. We'll certainly add it as appropriate.