EXECFILE - is file executable?

ExecFile (S1) returns I

attempts to open S1 with execute permission and returns the filact status (>0 for success). This tells you whether the file is executable.