Accessory cloud types can form at various altitude ranges depending on the main clouds with which they are associated. The World Meteorological Organization classifies most accessory clouds as "supplementary features". The height range classification of a supplementary feature is the same as the parent cloud. As an example, the anvil cloud (supplementary feature incus) forms at high altitude but is not classified by the WMO as a high cloud because of its association with the genus cumulonimbus. It is "very rare" for any accessory cloud to generate its own precipitation. However, the parent cloud may generate precipitation. Precipitation from the parent cloud
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