Shouldn't we explicitly state the array size here?