Correções no benchmark e na instrução de RETURN