drivers=test_andthen_v(0|3)

--# andthen.adb
-- /eval/  l! ## c!:"B"
