Onager of roads, railway lines, and fences required to support mining activities. The Asiatic wild ass is vulnerable to diseases, as well. A disease known as the "South African horse sickness" caused a major decline to the Indian wild ass population in the 1960s. However, the subspecies is no longer under threat to such disease and is continuously increasing in number. Various breeding programs have been started for the onager subspecies in captivity and in the wild, which increases their numbers to save the endangered species. The species is legally protected in many of the countries in which it occurs. The
Type system or an "effect system", which enables even more program specifications to be verified by a type checker. Beyond simple value-type pairs, a virtual "region" of code is associated with an "effect" component describing "what" is being done "with what", and enabling for example to "throw" an error report. Thus the symbolic system may be a "type and effect system", which endows it with more safety checking than type checking alone. Whether automated by the compiler or specified by a programmer, a type system makes program behavior illegal if outside the type-system rules. Advantages provided by programmer-specified type systems include: Advantages