#include <stdlib.h>

int global = 0x11111111;

int main() {
	int local = 0x22222222;
	char buffer[] = "AAAABBBBCCCCDDD";
	return 0;
}