Symbol: j_kdc_start