let
hash x = x.var_vid