prog: and_EI
prereq: test -x and_EI