These examples
help with both synthesis techniques and
control structures for them.