Symbol: WRITE_CHAR