"Check out our examples" -> https://github.com/powdr-labs/powdr/tree/main/riscv/tests/riscv_data/vec_median (GitHub 404)