carta

ida_init(9) on Linux

The text e8f89059e4de, as Debian 7 (Wheezy) shipped it.

initialize ida handle

ida_init(9) on Linux now