max-asserts: 2