examples: fixing van-der-Pol; still failing