The node you are looking for is at hash-set-adjoin.