add ExampleStatable to sasl4.hs