Symbol: write_memory_start