let
hash_of_var (var: var) : int =
var