function is_dn42_prefix() {
    return net ~  [
        172.20.0.0/14+
    ];
}

function is_dn42_self_net() {
    return net ~ is_dn42_self_IPv4;
}