#!/usr/bin/env bash
set -eu
target=$1
shift
out=$(rg --only-matching ": out (\w*)" -r '$1' $target)
exec "${CODEROOT:?}/_/bin/$out" "$@"