1Test on correctness while possibly sharing slow paths.
2