CS>void do_something(CTX& ctx, ....)
CS>{
CS>  enter(ctx); scope(exit) leave(ctx);
CS>  ...
CS>  if(cond) return;
CS>  ...
CS>}
CS>

void do_something(context ctx, ...) // by value, context ctor should be implicit
{...

struct context 
{
  static thread_local CTX* ctx;
  context(CTX& c)
  {
    assert(ctx == 0);
    ctx = &c;
    enter(&c);
  }
  ~context()
  {
    assert(ctx != 0);
    leave(ctx);
    ctx = 0;
  }
};

void enter(CTX& ctx);
void leave(CTX& ctx);

void do_something(CTX& ctx, ....);

void do_something(CTX& ctx, ....)
{
  enter(ctx);  
  ...
  if(cond) { leave(ctx); return; }
  ...
  leave(ctx);
}

struct context 
{
  CTX& ctx;
  context(CTX& c):ctx(c) { enter(ctx); }
  ~context() { leave(ctx); }
}

void do_something(CTX& ctx, ....)
{
  context _(ctx);  
  ...
  if(cond) return;
  ...
}

void do_something(CTX& ctx, ....)
{
  enter(ctx); scope(exit) leave(ctx);
  ...
  if(cond) return;
  ...
}

E>Ну, как вариант, передавать в функцию не ссылку, а тот самый контекст...

Array.map( callback:function [,this_for_callback:object] )

static value CSF_map(VM *c)
{
    value vector = 0 ,cmpf = 0, cmpf_this = 0, r_vector = 0;

    protect(c,vector,cmpf,cmpf_this, r_vector); // <<<<<<<< let GC to know about the locations.

    CsParseArguments(c,"V=*V=|V",&vector,&CsVectorDispatch,&cmpf,&CsMethodDispatch,&cmpf_this);

    FETCH(c, vector); // GC!!

    int_t d = CsVectorSize(c,vector);

    r_vector = CsMakeVector(c,d); // GC!!

    int_t ndst = 0;
    if(cmpf_this)
    {
      for( int n = 0; n < d; ++n )
      {
        value r = CsCallMethod(c,cmpf_this, cmpf, cmpf_this, 3, // GC!!
           CsVectorElement(c,vector,n), 
           CsMakeInteger(n),
           vector);
        if( r == NOTHING_VALUE )
          continue;
        CsSetVectorElement(c,r_vector,ndst++,r);
      }
    }
    ....
}

R>  static thread_local CTX* ctx;

void f(CTX& a, CTX& b)
{
    context usingA(a); // enter(a);
    context usingB(b); // enter(b);
    …;
} // exit(b); exit(b); // double-exit(b); leak(a);

A>void do_something(context ctx, ...) // by value, context ctor should be implicit
A>{...

static __declspec (thread) Context* m_context;
...
m_context = NULL;

  mov       eax, DWORD PTR fs:[__tls_array]
  mov       eax, DWORD PTR [eax]
  mov       DWORD PTR [?m_context@@4PAVContext@@A+eax], 0