S = (val select_approx)