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