veriexec_get_path_params
int veriexec_get_path_params(const char *,
if (veriexec_get_path_params(file, ¶ms) == 0) {
veriexec_get_path_params(file, ¶ms) == 0) {
error = veriexec_get_path_params(argv[optind], ¶ms);