Fixes to REINITIALIZE-GLOBAL-TABLE: ignore invalid entries in the *GLOBAL-TABLE*, and reload files in the same order as they were initially loaded. From Lynn Quamm.