If you use the nonnull attribute, the assertion will be optimized away.