Test Shifmman's example