#include <stdio.h>
#include <stdlib.h>
 
int count_if(int n, int c, int v[]) {
  int acc = 0;
  for (int i = 0; i < c; i++) {
    if (n == v[i]) {
      acc++;
    }
  }
  return acc;
}
 
int main(void) {
  int a[9] = {7, 6, 12, 8, 3, 5, 10, 9, 5};
  char s[5];
  printf("k: ");
  scanf("%4s%*[^\n]", s);
  getchar();
  int n = count_if(strtod(s, NULL), 9, a);
  if (n == 0) {
    printf("nothing!\n");
 
  } else {
    printf("%d\n", n);
  }
  return EXIT_SUCCESS;
}
 

I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRsaWIuaD4KCmludCBjb3VudF9pZihpbnQgbiwgaW50IGMsIGludCB2W10pIHsKICBpbnQgYWNjID0gMDsKICBmb3IgKGludCBpID0gMDsgaSA8IGM7IGkrKykgewogICAgaWYgKG4gPT0gdltpXSkgewogICAgICBhY2MrKzsKICAgIH0KICB9CiAgcmV0dXJuIGFjYzsKfQoKaW50IG1haW4odm9pZCkgewogIGludCBhWzldID0gezcsIDYsIDEyLCA4LCAzLCA1LCAxMCwgOSwgNX07CiAgY2hhciBzWzVdOwogIHByaW50ZigiazogIik7CiAgc2NhbmYoIiU0cyUqW15cbl0iLCBzKTsKICBnZXRjaGFyKCk7CiAgaW50IG4gPSBjb3VudF9pZihzdHJ0b2QocywgTlVMTCksIDksIGEpOwogIGlmIChuID09IDApIHsKICAgIHByaW50Zigibm90aGluZyFcbiIpOwogIAogIH0gZWxzZSB7CiAgICBwcmludGYoIiVkXG4iLCBuKTsKICB9CiAgcmV0dXJuIEVYSVRfU1VDQ0VTUzsKfQo=