Non-nullability and value protection checks.