with_asserts
