Source and result of a simple web application compiled with the flx-compiler