#!/bin/bash
set -euo pipefail

ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/../.." && pwd)"
exec "$ROOT_DIR/tools/run-python.sh" "$ROOT_DIR/tools/shared/find-next.py" "$@"