A 64-bit port made from Boost-Btree