undetected overflow documented