#include #include int disk_io_kb(char*, unsigned long long*, unsigned long long*);