export SHELL="$BASH"
setsid python execute-with-sigint.py subst-loop.sh &
pid=$!

echo $pid

sleep 0.05
echo "kill -INT -- -$pid" >&2
kill -INT -- -$pid

wait $pid
