drivers=test_andthen_v(0|1|2|3)

--# andthen.adb
-- /eval/  l+ ## 0
