In this commit:

- compliance with VisualStudio
- kill on deadline miss feature
- fix of __INT_MAX__