#include <stdio.h>

int main(int argc, const char **argv) {
  for(int x=0; x<= 65535; x++) {
    int correct = (x+0x7f)/255;
    int temp = x + 0x80;
    int essai = ((temp >> 8) + temp) >> 8;
    if (correct != essai) {
      printf("%d %d %d\n", x, correct, essai);
    }
  }
}
 
