All, I've had a few subscribers argue that the type checking thread was still Unix-related, so feel free to keep posting here in TUHS. But if it does drift away to non-Unix areas, please pass it over to COFF. Thanks & apologies for being too trigger-happy! Cheers, Warren