#include #include #include main(int c, char **v) { printf("%d\n", (int)sizeof(off_t)); exit(0); }