trie: can now properly encode the 64 value in the static kvs header.