Symbol: write_stage1