code: void setPathUserIndex(int path, int index, int value) {
  		AttributeStreamOfInt32 stream = m_pathindices.get(index);
  		int pindex = getPathIndex_(path);
  		if (stream.size() < m_path_areas.size())
  			stream.resize(m_path_areas.size(), -1);
  		stream.write(pindex, value);
  	}
docs: Sets value to the given user index on a path.