an examplefor ensures on throw