By the way, the C code you provided doesn't actually fill the array with 500; it sets the first element to 500 and fills the rest with zeroes.
<https://tio.run/##S9ZNT07@/185My85pzQlVcGmuCQlM18vw46LKzOvRCGxqCixMtrQIFbBVqHa1MCg1hoinpuYmaehqVDNpaBQUAQUSNNQUk1R0oGpj9W0BsoUpZaUFuUpGFhz1f7/DwA>
