Server-side source code

Now let's look at the server-side code generated.