void write_wav(const char* filename, double* data, int len);

double* read_wav(const char* filename, int* out_len);