Simplified 'nonnull' attribute