Tests for the "Safe" extension.