int foo;

int random_read( int fd, int page_no, void * the_page ) ;
int random_write( int fd, int page_no, void * the_page ) ;