public int nextInt() {
		return mangled.charAt(pos);
	}
Gets the next int in the mangled string
@return the next int
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/analysis/rust/demangler/RustDemanglerV0.java