function is_idfx() {
	return net ~ [
		10.1.0.0/16{19,24},    # iiidefix internal
		10.42.0.0/16{19,24},   # iiidefix friends
		194.127.157.224/27{27,32}, # MKD net
		148.251.17.70/32,      # defks1
		85.214.96.242/32,      # deber1
		fdb0:4339::/32{48,64}, # iiidefix v6
		2a09:11c0:20f:100::/56{56,64}
	];
}