Make use of __attribute__((nonnull)).