drivers=test_andthen_v(2|3)

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