bpf_usdt_arg_cnt
usdt_sib_arg_cnt = bpf_usdt_arg_cnt(ctx);
usdt0_arg_cnt = bpf_usdt_arg_cnt(ctx);
usdt3_arg_cnt = bpf_usdt_arg_cnt(ctx);
usdt12_arg_cnt = bpf_usdt_arg_cnt(ctx);