IDA implemented, no bug checking.