Symbol: do_isns_query