Programming session: all the examples are now running
examples/authentication_500.quail: Use int 500 instead of int500
test.sh