fix redefinition of OVERFLOW
fix redefinition of OVERFLOW

Signed-off-by: Lucas Cordeiro <0991a736ff71ac851dd9d4ccd1fc11e28a454326@gmail.com>

hussamaibrahim/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,hussamaibrahim/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,hussamaibrahim/dsverifier,ssvlab/dsverifier,hussamaibrahim/dsverifier,hussamaibrahim/dsverifier,hussamaibrahim/dsverifier,ssvlab/dsverifier