How many runtime values have the type never?