copy test20
no need for tselx in lenient mode. simplifies sub-tp-trans. cc @TiarkRompf.