I have coded up a fixed point version of the WMA decoder from the ffmpeg project ..... Here is the source code for "wma to wav" - I've modified it but it does have c ...
www.rockbox.org