let mem x ra = mem_aux 0 x ra