Symbol: veriexecgen_t