9674 "EXE is the common filename extension denoting an executable file ."