[submodule "va416xx"]
	path = va416xx
	url = https://egit.irs.uni-stuttgart.de/rust/va416xx.git