NOSPEC
sql_insert_return_states(return_id, return_ranges, NOSPEC, param, param_name, "");
sql_insert_return_states(return_id, return_ranges, NOSPEC, -1, "$", "");
select_caller_info_hook(set_param_nospec, NOSPEC);
select_return_states_hook(NOSPEC, &db_returns_nospec);
sql_insert_caller_info(expr, NOSPEC, i, "$", "");
sql_insert_caller_info(call, NOSPEC, param, printed_name, "");