/bot/src/dotty/
../
tools