#!/bin/sh
TMPFILE=`mktemp`.s || TMPFILE=$$-$RANDOM.s
if mips-decafc $1 > $TMPFILE; then
	spim -file $TMPFILE | tail -n+6
else
	cat $TMPFILE
fi
rm -f $TMPFILE
