#ifndef WAV_DEMUX_H
#define WAV_DEMUX_H

#include <stdint.h>


void play_wav(void);

#endif