z3Ptr 538 lib/libkern/softfloat-macros.h bits64 *z3Ptr z3Ptr 552 lib/libkern/softfloat-macros.h *z3Ptr = z3;