--- /dev/null
+#!/bin/csh -f
+
+if (! $?TM_TMP_DIR) then
+ setenv TM_TMP_DIR /tmp
+endif
+
+if( $5 == "" ) then
+ set filename="$TM_TMP_DIR/mime$$"
+else
+ set filename = $TM_TMP_DIR/$5
+endif
+
+echo "$2; $3 -> $filename"
+
+tmdecode $3 $1 $filename