- /*
- // take yourself off the thread-local sese call stack
- output.println(" if( isEmpty( seseCallStack ) ) {");
- output.println(" printf( \"Error, sese call stack is empty.\\n\" );");
- output.println(" exit( -1 );");
- output.println(" }");
- output.println(" if( (void*)"+paramsprefix+" != getItem( seseCallStack ) ) {");
- output.println(" printf( \"Error, sese call stack mismatch.\\n\" );");
- output.println(" exit( -1 );");
- output.println(" }");
- */
-