rb->lseek(gob_file, current_header.idx_offset, SEEK_SET);
    long num_files;
    rb->read(gob_file, &num_files, sizeof(long));
    rb->splashf(HZ, "%d", num_files);

    int i;
    int ofs = sizeof(long)*3;
    for(i = 0; i != num_files+1; i++) {
        rb->lseek(gob_file, current_header.idx_offset + ofs, SEEK_SET);
        char name[13];
        rb->read(gob_file, &name, 13);
        rb->splash(HZ, name);
        ofs = ofs + (sizeof(long)*2);
    }