Symbol: find_hash
usr.sbin/veriexecgen/veriexecgen.c
504
if ((hash = find_hash(optarg)) == NULL) {
usr.sbin/veriexecgen/veriexecgen.c
526
if ((hash = find_hash(DEFAULT_HASH)) == NULL)