restrict wav_size type to strictly 32 bits