Onager diverged about 4.8 (3.2–6.5) Mya. The onagers' favored habitats consist of desert plains, semideserts, oases, arid grasslands, savannahs, shrublands, steppes, mountainous steppes, and mountain ranges. The Turkmenian kulan and Mongolian wild asses are known to live in hot and colder deserts. The IUCN estimates about 28,000 mature individuals in total remain in the wild. During the late Pleistocene era around 40,000 years ago, the Asiatic wild ass ranged widely across Europe and in southwestern to northeastern Asia. The onager has been regionally extinct in Israel, Saudi Arabia, Iraq, Jordan, Syria, and southern regions of Siberia. The Mongolian wild ass lives
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