/*
   * Return list of selector names
   */
  VALUE selector_names(void) {