nat-basic <uninstantiated> add-base -
nat-basic expanded
