#!/usr/local/bin/tcc -run
#include <libtcc.h>

void main(){
  printf("%d %d\n", fseek(0, 0, 0));
}