[++] ArrayProto map