refined behaviour of ctrie-put-ensure