doit 133 Bytes
# Goes from dis output to embra translation
cat $1 | awk '{ print $4 }' | num2bin > $1.bin; 
../debug_trans -ckm $1.bin ; rm $1.bin