Simplified C13 in Nullness test.