bpf_vlog_alignment
u32 bpf_vlog_alignment(u32 pos);
verbose(env, "%*c;", bpf_vlog_alignment(insn_pos - pos), ' ');
verbose(env, "%*c;", bpf_vlog_alignment(env->prev_insn_print_pos), ' ');