Slightly optimized end-of-program pause.