NAT_CHECK
NAT_CHECK(pip, prv1, ext, masq);
NAT_CHECK(pip, prv2, ext, masq);
NAT_CHECK(pip, prv3, ext, masq);
NAT_CHECK(pip, cgn, ext, masq);
NAT_CHECK(pip, pub, ext, pub);
NAT_CHECK(pip, prv1, ext, masq);
NAT_CHECK(pip, prv2, ext, masq);
NAT_CHECK(pip, prv3, ext, masq);
NAT_CHECK(pip, cgn, ext, masq);
NAT_CHECK(pip, pub, ext, pub);
NAT_CHECK(pip, prv1, ext, masq);
NAT_CHECK(pip, prv2, ext, masq);
NAT_CHECK(pip, prv3, ext, masq);
NAT_CHECK(pip, cgn, ext, masq);
NAT_CHECK(pip, pub, ext, masq);
NAT_CHECK(pip, prv1, ext, masq);
NAT_CHECK(pip, prv2, ext, masq);
NAT_CHECK(pip, prv3, ext, masq);
NAT_CHECK(pip, cgn, ext, cgn);
NAT_CHECK(pip, pub, ext, pub);
NAT_CHECK(pip, prv1, ext, masq);
NAT_CHECK(pip, prv2, ext, masq);
NAT_CHECK(pip, prv3, ext, masq);
NAT_CHECK(pip, cgn, ext, cgn);
NAT_CHECK(pip, pub, ext, pub);
NAT_CHECK(p, prv1, ext, pub);
NAT_CHECK(p, prv2, ext, pub);
NAT_CHECK(p, prv3, ext, masq);
NAT_CHECK(p, prv1, ext, pub);
NAT_CHECK(p, prv2, ext, masq);
NAT_CHECK(p, prv3, ext, masq);
NAT_CHECK(p, (si), (di), (mi)); \