smart_assertions
