Var ex = (Var)newContext.getVar("$$ex$$") ;
Var vret = (Var)newContext.getVar("$$ra$$") ;
makeInit(newContext,varDecl.init,v.getType(),l) ;
l.add(new Dup(TypeCode.VOID,TypeCode.OBJECT)) ;
l.add(new Store(v)) ;
l.add(new MonitorEnter()) ;
Mark the_end = new Mark() ;
Mark start_pc = new Mark() ;
Mark end_pc = new Mark() ;
Mark handler = new Mark() ;
l.add(new Nop(start_pc)) ;