Adding some tests for the Safe extension.