These files are VERY simple virus-carchers.
The ONLY thing any of these files do is end the execution.
No surprise these files are mainly empty.
So if the file is NOT empty, the chance is high the the files is infected
I caught a virus with it once (a new virus that is)


Disclaimer:

Default disclaimer, I take no responasbilities whatsoever.
Always use a good virus scanner too.
Not all viruses will infect these files, so if these files are right this is no assurance you're NOT infected.

All other cases are covered by this line.