let
memq x ra = memq_aux 0 x ra