revise examineOverflow