Question: Is it possible to write the output of an AudioStream to a .wav file as it's streaming? about pedalboard HOT 3 OPEN

input_device_name = 'External Microphone'
output_device_name = 'External Headphones'
start_time = time.time()

while True:
    with AudioStream(input_device_name, output_device_name, allow_feedback=True) as stream:

        stream.plugins.append(Chorus())
        stream.plugins.append(Distortion())
        stream.plugins.append(Reverb())
        
        while len(stream.plugins) > 0:
            del stream.plugins[0]

from pedalboard.io import AudioStream
from pedalboard import Reverb, Chorus, Distortion
import soundcard as sc
import soundfile as sf
import time
import pyaudio
import numpy as np

input_device_name = 'External Microphone'
output_device_name = 'External Headphones'
start_time = time.time()

SAMPLE_RATE = 48000  # Hz
DURATION = 10  # seconds

start_time = time.time()
# Calculate the total number of samples
total_samples = int(SAMPLE_RATE * DURATION)

# Initialize a 32-bit floating point audio buffer for stereo (2 channels)
audio_buffer = np.zeros((total_samples, 2), dtype=np.float32)


while time.time() - start_time < DURATION:
    with AudioStream(input_device_name, output_device_name, allow_feedback=True) as stream:

        stream.plugins.append(Chorus())
        stream.plugins.append(Distortion())
        stream.plugins.append(Reverb())

        audio_buffer = stream.plugins.process(audio_buffer, SAMPLE_RATE, buffer_size=len(audio_buffer), reset=False)

        while len(stream.plugins) > 0:
            del stream.plugins[0]



print(audio_buffer[audio_buffer != 0])