Symbol: mem_extract