{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"//"}]}
    //
    // and buckets double from there.
    // We assert that [0, 2**32 - 1] uniquely map through this function to individual, consecutive