quire32_t q32Clr();
quire32_t castQ32( uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t );
posit32_t castP32( uint32_t );
quire32_t q32Clr();
quire32_t castQ32( uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t, uint64_t );
posit32_t castP32( uint32_t );