826     pseudo_bit_t	reserved9[0x00001];  member
1052     pseudo_bit_t	reserved9[0x00020];  member
1372     pseudo_bit_t	reserved9[0x0001f];  member
1426     pseudo_bit_t	reserved9[0x00020];  member
1591     pseudo_bit_t	reserved9[0x00020];  member
1701     pseudo_bit_t	reserved9[0x00020];  member
1988     pseudo_bit_t	reserved9[0x00004];  member
2321     pseudo_bit_t	reserved9[0x00080];  member
2365     pseudo_bit_t	reserved9[0x00010];  member
2462     pseudo_bit_t	reserved9[0x0000b];  member
2515     pseudo_bit_t	reserved9[0x00002];  member
2653     pseudo_bit_t	reserved9[0x00080];  member
3110     pseudo_bit_t	reserved9[0x7f000];  member