
  void test () {
    int i;
    i = encoder12_counts;
  }
