The Dog and the Wolf thy maintenance and thy fodder and let me not see thy riding"." Since the onager is an Asian animal, it suggests that this region may have been the origin of the alternative fable recorded as 183 in the Perry Index. In this the wild ass at first congratulates a grazing pack-animal's sleek condition but eventually is grateful for his own freedom after seeing the other being driven along beneath a load. A later 'Christianised' version is now numbered as the independent fable 411 in the Perry Index. There the onager jeers at a donkey, only to be eaten by a
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