Add code for the examples listed in the introduction