#!/usr/local/bin/tcc -run
int main(){
  char v = 42;
  printf("%d\n", v);
}