[PATCH v2 03/10] tools/nolibc: stdint: use int for size_t on 32bit