Prototype of compilation to Javascript