S-Query: Opening the Black Box of Internal Stream Processor State