Symbol: ida_alloc