fprintf(stderr, " (%d with annotations)\n", size);
XPT_SizeOfHeader(XPTHeader *header){    XPTAnnotation *ann;    uint32 size = 16 /* magic */ +        1 /* major */ + 1 /* minor */ +        2 /* num_interfaces */ + 4 /* file_length */ +        4 /* interface_directory */ + 4 /* data_pool */;    /* XXX annotations */        return size;}