I don't see why 32-bit programs and codecs should not work on a 64-bit machine. Although I would suggest you to try vlc player now available in Debian etch. It has codecs for all the files I have ever used. mplayer is also there but i have not tried it.