We now think we know how the RFC wants arrays to work