I think it's time to rethink the HFILE16_TO_HFILE32 strategy,
can't keep working around flaws in it like this (now stdio
was getting closed when programs close handles >=5)