+ /**
+ * Sets the index number of this channel, i.e. a unique ID assigned by
+ * the device driver or the logic bit index (see below).
+ * Only use immediately after creating the signal and leave it untouched after.
+ */
+ void set_index(unsigned int index);
+