drivers=test_andthen_v(1|2)

--# andthen.adb
-- /eval/  l! ## eT-
