Re: [PATCH v3 05/14] tools/nolibc: stdint: use int for size_t on 32bit