#include #include #include extern "C" { int filelength(int fileno); }