docs: function Request(event) {
      var id = event.data.id;
      if (id == null) throw new Error("No ID for message " + JSON.stringify(event.data));
  
      this.data = messages.decode(event.data);
      this.id = this.data.id;
    }