prog: insert_EI prereq: test -x insert_EI