extern long get_size_of_disk (const char *disk);