Onde você encontra as partes de execução especulativa no código-fonte da mônada?