Symbol: SETUP_WRITE_STATE1