anchor.diff:            case 13:
               // returning from await.
               __helper = __result;
  -            __next = [12];
  +            __next.push(12);
               // goto finally
               __goto = 11;
               break;
  
positive.code:         case 15:
            // join
            x = __result;
            __next = [13];
            // goto finally
            __goto = 12;
            break;
  
negative.code:             // after while
            case 6:
              // break __outer
              __next.push(5);
              // goto finally
              __goto = 4;
              break;
  