Script for converting *.idc to radare2 format