Cumulonimbus flammagenitus (cloud) column of a volcano. In 2002, various sensing instruments detected 17 distinct cumulonimbus flammageniti in North America alone. Alternate spellings and abbreviations for cumulonimbus flammagenitus that may be found in the literature include Cb-Fg, pyrocumulonimbus, pyro-cumulonimbus, pyroCb, pyro-Cb, pyrocb, and pyro-cb. The World Meteorological Organization does not recognize the cumulonimbus flammagenitus as a distinct cloud type, but instead classifies it simply as cumulonimbus. On 18 January 2003, a supercell thunderstorm formed from a cumulonimbus flammagenitus cloud associated with a severe wildfire, during the 2003 Canberra bushfires in Canberra, Australia. The supercell resulted in a large fire tornado, rated at EF3
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