using System;

using System.Collections.Generic;

public class SyntaxChecker

{

    // Словарь метка - код операции

    Dictionary<String, int> labels = new Dictionary<String, int>();

    // Обьявление меток

    void addLabel(String label) {

        if (labels.ContainsKey(label))

            throw new InvalidOperationException("Метка была обьявлена дважды!");

        labels.Add(label, 0);

    }

    // Обьявление операций

    void addOperation(String label, int opcode) {

        if (labels.ContainsKey(label) && labels[label] != 0 && labels[label] != opcode)

            throw new InvalidOperationException("Попытка назначить одной метке разные операторы!");

        labels[label] = opcode;

    }

    // Проверка оператора goto

    void checkGoTo(String label) {

        if (!labels.ContainsKey(label) || labels[label] == 0)

            throw new InvalidOperationException("Метка оператора goto никуда не указывает!");

    }

    public static void Main()

    {

        Console.WriteLine("Hello World");

    }

}