FFI and fixed-size integer types