let memq x ra = memq_aux 0 x ra