D: assert