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