#include <stdio.h>
#include <stdlib.h>

void f();
int global = 10;   /* destructed in line 10 */

main()
{
	f();
	return EXIT_SUCCESS;
}

void f()
{
	static int s = 20;   /* destructed in line 10 */
	int buffalo;         /* destructed in line 28 */

	for (buffalo = 388; buffalo >= 288; buffalo -= 10) {
		const int albany   = buffalo - 280; /* Destructed in line 27. */
		const int montreal = buffalo -  60; /* Destructed in line 27. */

		printf("+--------------+\n");
		printf("| Albany   %3d |\n", albany);
		printf("| Montreal %3d |\n", montreal);
		printf("| Buffalo  %3d |\n", buffalo);
		printf("+--------------+\n\n");
	}
}