public static String selectExampleDemo(int index) {
    { Cons entry = ((Cons)(Logic.$DEMO_FILES$.nth(index - 1)));

      if (entry != null) {
        return (Logic.demoEntryFile(entry));
      }
      else {
        return (null);
      }
    }
  }