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