Re: [PATCH v2 1/3] tools/nolibc/stdio: Implement vprintf()