drivers=test_andthen_v(0|1)

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