raw audio in windows

[Putty]

Hi.  I've written a small python script that was primarily meant for
use in a unix-compatible environment.  It writes a bunch of raw audio
to a file and then sends the file to /dev/audio and the system plays
the audio.  Very simple.

Is there a simple way I could edit the script (which just uses the
system call to do this) to run under windows?

This is the code that would have to change:
os.system("cat audioBuf > /dev/audio")