Code examples of the workshop