mark_stack_arg_precision
ret = mark_stack_arg_precision(env, i);
err = mark_stack_arg_precision(env, arg_idx_from_argno(size_argno));