A small running example with all the things...