Generated code in examples, to  download and run