Testing: __nonnull__ attribute alias