doesn't work, ask for help in check_eq_set