define DN42_PREFIXES_V4 = [
    172.20.0.0/14+
];
define DN42_PREFIXES_V6 = [
    fd00::/8+
];

function is_dn42_prefix() {
    case net.type {
        NET_IP4: return net ~ DN42_PREFIXES_V4;
        NET_IP6: return net ~ DN42_PREFIXES_V6;
        else: print "is_dn42_prefix: unexpected net.type ", net.type, " ", net; return false;
    }
}

function is_dn42_self_net() {
    case net.type {
        NET_IP4: return net ~ IS_SELF_NET_dn42v4;
        NET_IP6: return net ~ IS_SELF_NET_dn42v6;
        else: print "is_dn42_prefix: unexpected net.type ", net.type, " ", net; return false;
    }
}