Examples to use with leda