uint64           1231 lib/libkern/softfloat.c     uint64 absA;
uint64           1287 lib/libkern/softfloat.c     uint64 absA;
uint64           1312 lib/libkern/softfloat.c     uint64 absA;