Small example of using lean_js.js