ida_check_destroy_1   73 lib/test_ida.c 	ida_check_destroy_1(ida, 0);
ida_check_destroy_1   74 lib/test_ida.c 	ida_check_destroy_1(ida, 1);
ida_check_destroy_1   75 lib/test_ida.c 	ida_check_destroy_1(ida, 1023);
ida_check_destroy_1   76 lib/test_ida.c 	ida_check_destroy_1(ida, 1024);
ida_check_destroy_1   77 lib/test_ida.c 	ida_check_destroy_1(ida, 12345678);