Generated during the hello-world tutorial