#!/usr/local/bin/tcc -run
void main() {
  printf("main=%016p\n",main);
}