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