Change guarantees to asserts.