Some implementation against SNat, along with tests.