A simple example for Ceylon used in the web browser