Link main with ExternalLinkage.
Convert arguments when calling.

Also, improve printf() declaration to take a format string as first
argument.