Tests: sim-checks.sh
