Re: [PATCH] tools/nolibc: ensure fast64 integer types have 64 bits