Main statistics type no named and unsigned.
Converted tabs to spaces.
Removed trailing spaces.
Removed unused variables.
Provided missing declarations.
Improved signature for main.
Corrected return-type.
Compiling satz now with C99.
Improved variable-locality.

This is just the start --- many more updates to follow.
Provided missing parameter-type.
A few const-declarations.
No parenthesis-etc. warnings when building satz.
Improved constness, locality, pre-increment, and compressed style.