#ifdef _FILE_OFFSET_BITS
  #error "_FILE_OFFSET_BITS should not be set"
#endif

int main(int argc, char *argv[])
{
  return 0;
}