// Extra test cases for  # 1257
switch (sometext)
{
    case "a":
        return 0;
    case "b":
        Console.WrieLine("hello world\n");
        return 0;
    case "c":
    {
        Console.WrieLine("hello world\n");
        return 0;
    }
    case "d":
        Console.WrieLine("hello world\n");

        if (hello)
            return 0;
        else
            return 1;

    case "e":
        Console.WrieLine("hello world\n");

        if (hello)
        {
            int a;
            int b;
            return 0;
        }

    case "f":
    {
        return 0;
    }
    case "g":

        return 0;

    case "h":
        for (i = 0; i < 10 i++)
        {
            a += i;
            return 0;
        }
    case "i":

        if (hello)
        {
            int a;
            int b;
            return 0;
        }

        return 1;
}