#!/usr/local/bin/tcc -run
#include <time.h>
int main(){
  printf("%d\n",sizeof(time_t));
}