Re: Type promotion in ccall arguments