array allocation and nasty bug in BitTrie