let
mem x ra = mem_aux 0 x ra