/*! @file

    @id $Id$

*/
//       1         2         3         4         5         6         7         8
// 45678901234567890123456789012345678901234567890123456789012345678901234567890


int main(int argv, char** argc) try {
 } catch (...) {
  // unexpected exception - just terminate
  return 1;
 }