contract C {
  function f() public {
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
    b = 5;
  }
}
// ----
// DeclarationError 7576: (41-42): Undeclared identifier.
// DeclarationError 7576: (52-53): Undeclared identifier.
// DeclarationError 7576: (63-64): Undeclared identifier.
// DeclarationError 7576: (74-75): Undeclared identifier.
// DeclarationError 7576: (85-86): Undeclared identifier.
// DeclarationError 7576: (96-97): Undeclared identifier.
// DeclarationError 7576: (107-108): Undeclared identifier.
// DeclarationError 7576: (118-119): Undeclared identifier.
// DeclarationError 7576: (129-130): Undeclared identifier.
// DeclarationError 7576: (140-141): Undeclared identifier.
// DeclarationError 7576: (151-152): Undeclared identifier.
// DeclarationError 7576: (162-163): Undeclared identifier.
// DeclarationError 7576: (173-174): Undeclared identifier.
// DeclarationError 7576: (184-185): Undeclared identifier.
// DeclarationError 7576: (195-196): Undeclared identifier.
// DeclarationError 7576: (206-207): Undeclared identifier.
// DeclarationError 7576: (217-218): Undeclared identifier.
// DeclarationError 7576: (228-229): Undeclared identifier.
// DeclarationError 7576: (239-240): Undeclared identifier.
// DeclarationError 7576: (250-251): Undeclared identifier.
// DeclarationError 7576: (261-262): Undeclared identifier.
// DeclarationError 7576: (272-273): Undeclared identifier.
// DeclarationError 7576: (283-284): Undeclared identifier.
// DeclarationError 7576: (294-295): Undeclared identifier.
// DeclarationError 7576: (305-306): Undeclared identifier.
// DeclarationError 7576: (316-317): Undeclared identifier.
// DeclarationError 7576: (327-328): Undeclared identifier.
// DeclarationError 7576: (338-339): Undeclared identifier.
// DeclarationError 7576: (349-350): Undeclared identifier.
// DeclarationError 7576: (360-361): Undeclared identifier.
// DeclarationError 7576: (371-372): Undeclared identifier.
// DeclarationError 7576: (382-383): Undeclared identifier.
// DeclarationError 7576: (393-394): Undeclared identifier.
// DeclarationError 7576: (404-405): Undeclared identifier.
// DeclarationError 7576: (415-416): Undeclared identifier.
// DeclarationError 7576: (426-427): Undeclared identifier.
// DeclarationError 7576: (437-438): Undeclared identifier.
// DeclarationError 7576: (448-449): Undeclared identifier.
// DeclarationError 7576: (459-460): Undeclared identifier.
// DeclarationError 7576: (470-471): Undeclared identifier.
// DeclarationError 7576: (481-482): Undeclared identifier.
// DeclarationError 7576: (492-493): Undeclared identifier.
// DeclarationError 7576: (503-504): Undeclared identifier.
// DeclarationError 7576: (514-515): Undeclared identifier.
// DeclarationError 7576: (525-526): Undeclared identifier.
// DeclarationError 7576: (536-537): Undeclared identifier.
// DeclarationError 7576: (547-548): Undeclared identifier.
// DeclarationError 7576: (558-559): Undeclared identifier.
// DeclarationError 7576: (569-570): Undeclared identifier.
// DeclarationError 7576: (580-581): Undeclared identifier.
// DeclarationError 7576: (591-592): Undeclared identifier.
// DeclarationError 7576: (602-603): Undeclared identifier.
// DeclarationError 7576: (613-614): Undeclared identifier.
// DeclarationError 7576: (624-625): Undeclared identifier.
// DeclarationError 7576: (635-636): Undeclared identifier.
// DeclarationError 7576: (646-647): Undeclared identifier.
// DeclarationError 7576: (657-658): Undeclared identifier.
// DeclarationError 7576: (668-669): Undeclared identifier.
// DeclarationError 7576: (679-680): Undeclared identifier.
// DeclarationError 7576: (690-691): Undeclared identifier.
// DeclarationError 7576: (701-702): Undeclared identifier.
// DeclarationError 7576: (712-713): Undeclared identifier.
// DeclarationError 7576: (723-724): Undeclared identifier.
// DeclarationError 7576: (734-735): Undeclared identifier.
// DeclarationError 7576: (745-746): Undeclared identifier.
// DeclarationError 7576: (756-757): Undeclared identifier.
// DeclarationError 7576: (767-768): Undeclared identifier.
// DeclarationError 7576: (778-779): Undeclared identifier.
// DeclarationError 7576: (789-790): Undeclared identifier.
// DeclarationError 7576: (800-801): Undeclared identifier.
// DeclarationError 7576: (811-812): Undeclared identifier.
// DeclarationError 7576: (822-823): Undeclared identifier.
// DeclarationError 7576: (833-834): Undeclared identifier.
// DeclarationError 7576: (844-845): Undeclared identifier.
// DeclarationError 7576: (855-856): Undeclared identifier.
// DeclarationError 7576: (866-867): Undeclared identifier.
// DeclarationError 7576: (877-878): Undeclared identifier.
// DeclarationError 7576: (888-889): Undeclared identifier.
// DeclarationError 7576: (899-900): Undeclared identifier.
// DeclarationError 7576: (910-911): Undeclared identifier.
// DeclarationError 7576: (921-922): Undeclared identifier.
// DeclarationError 7576: (932-933): Undeclared identifier.
// DeclarationError 7576: (943-944): Undeclared identifier.
// DeclarationError 7576: (954-955): Undeclared identifier.
// DeclarationError 7576: (965-966): Undeclared identifier.
// DeclarationError 7576: (976-977): Undeclared identifier.
// DeclarationError 7576: (987-988): Undeclared identifier.
// DeclarationError 7576: (998-999): Undeclared identifier.
// DeclarationError 7576: (1009-1010): Undeclared identifier.
// DeclarationError 7576: (1020-1021): Undeclared identifier.
// DeclarationError 7576: (1031-1032): Undeclared identifier.
// DeclarationError 7576: (1042-1043): Undeclared identifier.
// DeclarationError 7576: (1053-1054): Undeclared identifier.
// DeclarationError 7576: (1064-1065): Undeclared identifier.
// DeclarationError 7576: (1075-1076): Undeclared identifier.
// DeclarationError 7576: (1086-1087): Undeclared identifier.
// DeclarationError 7576: (1097-1098): Undeclared identifier.
// DeclarationError 7576: (1108-1109): Undeclared identifier.
// DeclarationError 7576: (1119-1120): Undeclared identifier.
// DeclarationError 7576: (1130-1131): Undeclared identifier.
// DeclarationError 7576: (1141-1142): Undeclared identifier.
// DeclarationError 7576: (1152-1153): Undeclared identifier.
// DeclarationError 7576: (1163-1164): Undeclared identifier.
// DeclarationError 7576: (1174-1175): Undeclared identifier.
// DeclarationError 7576: (1185-1186): Undeclared identifier.
// DeclarationError 7576: (1196-1197): Undeclared identifier.
// DeclarationError 7576: (1207-1208): Undeclared identifier.
// DeclarationError 7576: (1218-1219): Undeclared identifier.
// DeclarationError 7576: (1229-1230): Undeclared identifier.
// DeclarationError 7576: (1240-1241): Undeclared identifier.
// DeclarationError 7576: (1251-1252): Undeclared identifier.
// DeclarationError 7576: (1262-1263): Undeclared identifier.
// DeclarationError 7576: (1273-1274): Undeclared identifier.
// DeclarationError 7576: (1284-1285): Undeclared identifier.
// DeclarationError 7576: (1295-1296): Undeclared identifier.
// DeclarationError 7576: (1306-1307): Undeclared identifier.
// DeclarationError 7576: (1317-1318): Undeclared identifier.
// DeclarationError 7576: (1328-1329): Undeclared identifier.
// DeclarationError 7576: (1339-1340): Undeclared identifier.
// DeclarationError 7576: (1350-1351): Undeclared identifier.
// DeclarationError 7576: (1361-1362): Undeclared identifier.
// DeclarationError 7576: (1372-1373): Undeclared identifier.
// DeclarationError 7576: (1383-1384): Undeclared identifier.
// DeclarationError 7576: (1394-1395): Undeclared identifier.
// DeclarationError 7576: (1405-1406): Undeclared identifier.
// DeclarationError 7576: (1416-1417): Undeclared identifier.
// DeclarationError 7576: (1427-1428): Undeclared identifier.
// DeclarationError 7576: (1438-1439): Undeclared identifier.
// DeclarationError 7576: (1449-1450): Undeclared identifier.
// DeclarationError 7576: (1460-1461): Undeclared identifier.
// DeclarationError 7576: (1471-1472): Undeclared identifier.
// DeclarationError 7576: (1482-1483): Undeclared identifier.
// DeclarationError 7576: (1493-1494): Undeclared identifier.
// DeclarationError 7576: (1504-1505): Undeclared identifier.
// DeclarationError 7576: (1515-1516): Undeclared identifier.
// DeclarationError 7576: (1526-1527): Undeclared identifier.
// DeclarationError 7576: (1537-1538): Undeclared identifier.
// DeclarationError 7576: (1548-1549): Undeclared identifier.
// DeclarationError 7576: (1559-1560): Undeclared identifier.
// DeclarationError 7576: (1570-1571): Undeclared identifier.
// DeclarationError 7576: (1581-1582): Undeclared identifier.
// DeclarationError 7576: (1592-1593): Undeclared identifier.
// DeclarationError 7576: (1603-1604): Undeclared identifier.
// DeclarationError 7576: (1614-1615): Undeclared identifier.
// DeclarationError 7576: (1625-1626): Undeclared identifier.
// DeclarationError 7576: (1636-1637): Undeclared identifier.
// DeclarationError 7576: (1647-1648): Undeclared identifier.
// DeclarationError 7576: (1658-1659): Undeclared identifier.
// DeclarationError 7576: (1669-1670): Undeclared identifier.
// DeclarationError 7576: (1680-1681): Undeclared identifier.
// DeclarationError 7576: (1691-1692): Undeclared identifier.
// DeclarationError 7576: (1702-1703): Undeclared identifier.
// DeclarationError 7576: (1713-1714): Undeclared identifier.
// DeclarationError 7576: (1724-1725): Undeclared identifier.
// DeclarationError 7576: (1735-1736): Undeclared identifier.
// DeclarationError 7576: (1746-1747): Undeclared identifier.
// DeclarationError 7576: (1757-1758): Undeclared identifier.
// DeclarationError 7576: (1768-1769): Undeclared identifier.
// DeclarationError 7576: (1779-1780): Undeclared identifier.
// DeclarationError 7576: (1790-1791): Undeclared identifier.
// DeclarationError 7576: (1801-1802): Undeclared identifier.
// DeclarationError 7576: (1812-1813): Undeclared identifier.
// DeclarationError 7576: (1823-1824): Undeclared identifier.
// DeclarationError 7576: (1834-1835): Undeclared identifier.
// DeclarationError 7576: (1845-1846): Undeclared identifier.
// DeclarationError 7576: (1856-1857): Undeclared identifier.
// DeclarationError 7576: (1867-1868): Undeclared identifier.
// DeclarationError 7576: (1878-1879): Undeclared identifier.
// DeclarationError 7576: (1889-1890): Undeclared identifier.
// DeclarationError 7576: (1900-1901): Undeclared identifier.
// DeclarationError 7576: (1911-1912): Undeclared identifier.
// DeclarationError 7576: (1922-1923): Undeclared identifier.
// DeclarationError 7576: (1933-1934): Undeclared identifier.
// DeclarationError 7576: (1944-1945): Undeclared identifier.
// DeclarationError 7576: (1955-1956): Undeclared identifier.
// DeclarationError 7576: (1966-1967): Undeclared identifier.
// DeclarationError 7576: (1977-1978): Undeclared identifier.
// DeclarationError 7576: (1988-1989): Undeclared identifier.
// DeclarationError 7576: (1999-2000): Undeclared identifier.
// DeclarationError 7576: (2010-2011): Undeclared identifier.
// DeclarationError 7576: (2021-2022): Undeclared identifier.
// DeclarationError 7576: (2032-2033): Undeclared identifier.
// DeclarationError 7576: (2043-2044): Undeclared identifier.
// DeclarationError 7576: (2054-2055): Undeclared identifier.
// DeclarationError 7576: (2065-2066): Undeclared identifier.
// DeclarationError 7576: (2076-2077): Undeclared identifier.
// DeclarationError 7576: (2087-2088): Undeclared identifier.
// DeclarationError 7576: (2098-2099): Undeclared identifier.
// DeclarationError 7576: (2109-2110): Undeclared identifier.
// DeclarationError 7576: (2120-2121): Undeclared identifier.
// DeclarationError 7576: (2131-2132): Undeclared identifier.
// DeclarationError 7576: (2142-2143): Undeclared identifier.
// DeclarationError 7576: (2153-2154): Undeclared identifier.
// DeclarationError 7576: (2164-2165): Undeclared identifier.
// DeclarationError 7576: (2175-2176): Undeclared identifier.
// DeclarationError 7576: (2186-2187): Undeclared identifier.
// DeclarationError 7576: (2197-2198): Undeclared identifier.
// DeclarationError 7576: (2208-2209): Undeclared identifier.
// DeclarationError 7576: (2219-2220): Undeclared identifier.
// DeclarationError 7576: (2230-2231): Undeclared identifier.
// DeclarationError 7576: (2241-2242): Undeclared identifier.
// DeclarationError 7576: (2252-2253): Undeclared identifier.
// DeclarationError 7576: (2263-2264): Undeclared identifier.
// DeclarationError 7576: (2274-2275): Undeclared identifier.
// DeclarationError 7576: (2285-2286): Undeclared identifier.
// DeclarationError 7576: (2296-2297): Undeclared identifier.
// DeclarationError 7576: (2307-2308): Undeclared identifier.
// DeclarationError 7576: (2318-2319): Undeclared identifier.
// DeclarationError 7576: (2329-2330): Undeclared identifier.
// DeclarationError 7576: (2340-2341): Undeclared identifier.
// DeclarationError 7576: (2351-2352): Undeclared identifier.
// DeclarationError 7576: (2362-2363): Undeclared identifier.
// DeclarationError 7576: (2373-2374): Undeclared identifier.
// DeclarationError 7576: (2384-2385): Undeclared identifier.
// DeclarationError 7576: (2395-2396): Undeclared identifier.
// DeclarationError 7576: (2406-2407): Undeclared identifier.
// DeclarationError 7576: (2417-2418): Undeclared identifier.
// DeclarationError 7576: (2428-2429): Undeclared identifier.
// DeclarationError 7576: (2439-2440): Undeclared identifier.
// DeclarationError 7576: (2450-2451): Undeclared identifier.
// DeclarationError 7576: (2461-2462): Undeclared identifier.
// DeclarationError 7576: (2472-2473): Undeclared identifier.
// DeclarationError 7576: (2483-2484): Undeclared identifier.
// DeclarationError 7576: (2494-2495): Undeclared identifier.
// DeclarationError 7576: (2505-2506): Undeclared identifier.
// DeclarationError 7576: (2516-2517): Undeclared identifier.
// DeclarationError 7576: (2527-2528): Undeclared identifier.
// DeclarationError 7576: (2538-2539): Undeclared identifier.
// DeclarationError 7576: (2549-2550): Undeclared identifier.
// DeclarationError 7576: (2560-2561): Undeclared identifier.
// DeclarationError 7576: (2571-2572): Undeclared identifier.
// DeclarationError 7576: (2582-2583): Undeclared identifier.
// DeclarationError 7576: (2593-2594): Undeclared identifier.
// DeclarationError 7576: (2604-2605): Undeclared identifier.
// DeclarationError 7576: (2615-2616): Undeclared identifier.
// DeclarationError 7576: (2626-2627): Undeclared identifier.
// DeclarationError 7576: (2637-2638): Undeclared identifier.
// DeclarationError 7576: (2648-2649): Undeclared identifier.
// DeclarationError 7576: (2659-2660): Undeclared identifier.
// DeclarationError 7576: (2670-2671): Undeclared identifier.
// DeclarationError 7576: (2681-2682): Undeclared identifier.
// DeclarationError 7576: (2692-2693): Undeclared identifier.
// DeclarationError 7576: (2703-2704): Undeclared identifier.
// DeclarationError 7576: (2714-2715): Undeclared identifier.
// DeclarationError 7576: (2725-2726): Undeclared identifier.
// DeclarationError 7576: (2736-2737): Undeclared identifier.
// DeclarationError 7576: (2747-2748): Undeclared identifier.
// DeclarationError 7576: (2758-2759): Undeclared identifier.
// DeclarationError 7576: (2769-2770): Undeclared identifier.
// DeclarationError 7576: (2780-2781): Undeclared identifier.
// DeclarationError 7576: (2791-2792): Undeclared identifier.
// DeclarationError 7576: (2802-2803): Undeclared identifier.
// DeclarationError 7576: (2813-2814): Undeclared identifier.
// DeclarationError 7576: (2824-2825): Undeclared identifier.
// DeclarationError 7576: (2835-2836): Undeclared identifier.
// DeclarationError 7576: (2846-2847): Undeclared identifier.
// Warning 4013: There are more than 256 errors. Aborting.