diff --git a/racket/typed/run-spin.sh b/racket/typed/run-spin.sh
new file mode 100755
index 0000000..2d868a7
--- /dev/null
+++ b/racket/typed/run-spin.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+EXE="$1-verifier.o"
+
+spin -a $1
+gcc -o $EXE pan.c
+$EXE -a -f -n -N $2