let
decide_snd _k _v = ()