#!/usr/local/bin/tcc -run
void main(){
  printf("%d %d\n", 1, 2);
}