Symbol: agsaID_t