Onager areas for use in traditional medicine. It is the one of highest threats for the Mongolian wild ass. The extreme isolation of many subpopulations also threatens the species, as genetic problems can result from inbreeding. Overgrazing by livestock reduces food availability, and herders also reduce the availability of water at springs. The cutting down of nutritious shrubs and bushes exacerbates the problem. Furthermore, a series of drought years could have devastating effects on this beleaguered species. Habitat loss and fragmentation are also major threats to the onager, a particular concern in Mongolia as a result of the increasingly dense network
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