# Source: https://wiki.hamburg.ccc.de/ChaosVPN:IPRanges

function is_chaosvpn() {
	return net ~ [
		10.4.0.0/16+,
		10.32.0.0/16+,
		10.100.0.0/14+,
		10.104.0.0/14+,
		172.31.0.0/16+
	];
}