tests pass with assertions enabled