/*
   * Number of selectors
   */
  int selector_count(void) {