modifying synthetic examples more
compiler bug fixes
fix minor leak