the hello world of Espruinos