Add disclaimer where the overflow check is from.