Inlined assertions.