arg_idx_from_argno
err = mark_stack_arg_precision(env, arg_idx_from_argno(size_argno));
u32 arg_idx = arg_idx_from_argno(argno);