add spec for nat
add specs