public static void LeaveMethodFrame(RuntimeFlowControl/*!*/ rfc) {
     rfc.LeaveMethod();
 }