#!/usr/local/bin/tcc -run
int main(void) {
  printf("%d", 10);
  return 0;
}