Re: FFI and fixed-size integer types