Code samples that accompany the AWS blog post on jsii