language grl 0.1
module W2ControlFlowDiagnostics
  var int mode = 1
  proc main()
    break
    continue
    jump inner
    if mode == 1
      label inner
    end
    switch mode
      case 1
        break
      case 1
        break
      case mode + 1
        break
    end
    jump missing
  end
end
