printf cleanups
nonnullness