let HelloWorld = {
  onCommand: function(event) {
    dump("Hello world!\n");
  }
};