Declare printf() instead of including <stdio.h>, so that this doesn't
depend on anything outside of the "sys" tree.