00001 00022 // coding: iso-8859-1 00023 // mode: C++ 00024 // c-file-style: "Stroustrup" 00025 // fill-column: 80 00026 // End: