Change arith type to force it to be 32bit.
Add missing function prototype.
Correct printf, and minor changes
[ANSIfication] Another batch...