Yeah, reading that doesn't exactly fill me with confidence. Maybe we're misinterpreting it, but it does seem to suggest that the rest of the program (modules, etc.) could be inaccessible by the time END gets run.