char *s = "Hello, world!";

int main(void) {
  char *t;
  int i = 0;
  for (t = s; *t; t++)
    i = (i + *t) % 128;
  return i;
}