Port: FreqProxTermsWriter*, TermsHash*