{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"self.reserve_and_set_memory_dedup(alloc,"}]}
        self.reserve_and_set_memory_dedup(alloc, salt)
        let alloc = self.mk_const_alloc(alloc);
    }