IDA* other stuff