Correct type signatures for main, exit, and puts.

Per POSIX, these should be using machine integers, not 32-bit integers.