rewrited test_insertUint64_0x7fffffffffffffff() with a DBAgent test framework.