/* * These arrays are used when the number of open files is * <= 1024, and are then pointed to by the pointers above. */