Some small examples implemented in leda