Symbol: IDA_CONTROLLER