Symbol: KBDC_WRITE_TO_AUX