run_splint.sh