Symbol: async_gen_syndrome