wip
init from src/main/elf/dot.elf
fixes up to trans (not included)
do not use sub-env for tselx
tselxx case
tselx1 case
it is not going to work
add tsel22
tsel2x done
easy weasy
all the tsel22 on the right cases
too hard
wip
tsel2x works... got lucky with termination. \cc @TiarkRompf
tsel2 on the right, done
termination violation :(
fix termination issue
termination timeout
termination trick
termination issues again