Re: [PATCH v3 1/4] tools/nolibc: add libc-test binary