Some tests for SNat.