Dereferencing an array with a constant index