Symbol: synthesize_bpf_prog_name