Today I found out that I have 3 leftover realmedia files in my archive. Sure, VLC can play this, but why not just converting them to something more useful? I haven't used mplayer in a while and I still did not find a way to redirect its output to stdout (no, file=/dev/stdout did not work either). Using a FIFO was the way to go here:

$ mkfifo foo
$ oggenc -q 6 foo -o file.ogg &
$ mplayer file.rm -vc null -vo null -ao pcm:fast:file=$HOME/foo