run_splint.sh
