let var_cmp = Var.cmp