MP3 to WAV converter

> Does anyone know of a MP3 to WAV converter?
 
 I use mpg123 (there's a debianized package) with sox. The command line is
 the following:

 
#!/bin/bash
# mp32wav
 mpg123 -b 10000 -s "$1" | sox -t raw -r 44100 -s -w -c2 - "$2"


 And the use is:
 
 mp32wav file.mp3 file.wav