Use printf without puts again to save one more byte