var_eq_var.k