https://cs.needcalc.com/auto/spectre/r42