text: mergeInto(LibraryManager.library, {
      js_add: function (a, b) {
          console.log("js_add");
          return a + b;
      },
  
      js_console_log_int: function (param) {
          console.log("js_console_log_int:" + param);
      }
  })