function staticmapcmp($a, $b)
{
    return ipcmp($a['ipaddr'], $b['ipaddr']);
}
function natnptcmp($a, $b)
{
    return ipcmp($a['external'], $b['external']);
}