Use native_int instead of size_t for Array