geo $devroot {
    default		prod;
    10.0.0.0/8		dev;
    172.16.0.0/12	dev;
    192.168.0.0/16	dev;
}