86 #define Dbl_leftshiftby1_withextent(lefta,leftb,right,resulta,resultb)	\  argument
88     Shiftdouble(Dallp2(leftb), Extall(right), 31, Dallp2(resultb)) 
90 #define Dbl_rightshiftby1_withextent(leftb,right,dst)		\  argument
91     Extall(dst) = (Dallp2(leftb) << 31) | ((unsigned int)Extall(right) >> 1) | \
92 		  Extlow(right)
408 #define Dbl_xortointp1(left,right,result)			\  argument
409     result = Dallp1(left) XOR Dallp1(right)
411 #define Dbl_xorfromintp1(left,right,result)			\  argument
412     Dallp1(result) = left XOR Dallp1(right)
414 #define Dbl_swap_lower(left,right)				\  argument
415     Dallp2(left)  = Dallp2(left) XOR Dallp2(right);		\
416     Dallp2(right) = Dallp2(left) XOR Dallp2(right);		\
417     Dallp2(left)  = Dallp2(left) XOR Dallp2(right)
707 #define Dblext_xortointp1(left,right,result) Dbl_xortointp1(left,right,result)  argument
709 #define Dblext_xorfromintp1(left,right,result) \  argument
710 	Dbl_xorfromintp1(left,right,result)