在Windows系统中，通过文件扩展名判别文件类型，______是一种可执行文件的扩展名。