- x -

• x : Bigint
• xbits : IEEEl2bits
• xmm_bytes : xmmacc
• xparts : ieee_double_shape_type
• xstate_bv : xstate_hdr
• xstate_rsrv : xstate_hdr
• xstate_rsrv0 : xstate_hdr