code: int getPathUserIndex(int path, int index) {
  		int pindex = getPathIndex_(path);
  		AttributeStreamOfInt32 stream = m_pathindices.get(index);
  		if (pindex < stream.size())
  			return stream.read(pindex);
  		else
  			return -1;
  	}
docs: Returns the value of the given user index of a path