{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"hasher.write_usize(sub_hashes.len().to_le());"}]}
    hasher.write_usize(sub_hashes.len().to_le());
    // but gives the same result independent of host byte order.
    for elt in sub_hashes {