#!/usr/local/bin/tcc -run
int main(int argc, char **argv){
  char c = -128;
  printf("%hhd, %hhd\n", c, abs(c));
  c += 1;
  printf("%hhd, %hhd\n", c, abs(c));
}