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