Update rand_select_m_from_n.h