another array quirk I don't understand about HAL