VSym for testing, and more sketches of CPS