z3                541 lib/libkern/softfloat-macros.h     bits64 z0, z1, z2, z3;
z3                544 lib/libkern/softfloat-macros.h     mul64To128( a1, b1, &z2, &z3 );
z3                552 lib/libkern/softfloat-macros.h     *z3Ptr = z3;