fprintf(stderr, " (%d with annotations)\n", size);
XPT_SizeOfHeader(XPTHeader *header){    XPTAnnotation *ann, *last;    uint32 size = 16 /* magic */ +        1 /* major */ + 1 /* minor */ +        2 /* num_interfaces */ + 4 /* file_length */ +        4 /* interface_directory */ + 4 /* data_pool */;    fprintf(stderr, "header size is %d ", size);    ann = header->annotations;    do {        size += 1; /* Annotation prefix */        if (XPT_ANN_IS_PRIVATE(ann->flags))            size += 2 + ann->creator->length + 2 + ann->private_data->length;	last = ann;	ann = ann->next;    } while (!XPT_ANN_IS_LAST(last->flags));        fprintf(stderr, " (%d with annotations)\n", size);    return size;}