let hash x = x.var_vid