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

int bof()
{
	char buffer[8];
	strcpy(buffer,"AA");
	return 1;
}

int main(int argc, char **argv)
{
	bof();
	
	printf("This code is never reached\n");
	return 1;
}