!7

import android.media.*;

static int bufferSize = 8192;

p {
  print("Making recorder");
  AudioRecord recorder = new AudioRecord.Builder()
    .setAudioSource(MediaRecorder.AudioSource.VOICE_COMMUNICATION)
    .setAudioFormat(new AudioFormat.Builder()
      .setEncoding(AudioFormat.ENCODING_PCM_16BIT)
      .setSampleRate(16000)
      .setChannelMask(AudioFormat.CHANNEL_IN_MONO)
      .build())
   .setBufferSizeInBytes(bufferSize)
   .build();
  print("Made recorder");
  
  byte[] buf = new[bufferSize];
  
  repeat 10 {
    print("Read bytes: " + recorder.read(buf, 0, l(buf), AudioRecord.READ_BLOCKING);
  }
  
  recorder.release();
  print("Released recorder");
}