Question: Order in which command prompt executes files with the same name (a.bat vs a.cmd vs a.exe)