
                        this.stdinbufferInt = new Int32Array(this.stdinbuffer);
                        this.standardIO.stdin().then((inputValue) => {
                            this.handleStdinData(inputValue);
                        });
                    } else if (type === "finished") {
                        this.standardIO.message(
                            `Exited with status: ${event.data.returnCode}`,
                        );
                        this.finishedCallback();
               