Lightweight overflow checker