Executable examples of RestExpress