00001 00034 // coding: iso-8859-1 00035 // mode: C++ 00036 // c-file-style: "Stroustrup" 00037 // fill-column: 80 00038 // End: