The prog parameter from ExecRE() is first dereferenced and than checked for