#ifndef JOS_TEST_DISK_HH
#define JOS_TEST_DISK_HH

void disk_init(int fd, int nbytes);

#endif