340a341,342
> } catch(ScHalt) {
> std::cout << "Terminating process " << name() << std::endl;