Symbol: WriteInteger