Symbol: veriexec_table_lookup