//#include <stdio.h>

extern char arm[20];

void arm_function(void)
{
	int i;
	char * p = "Hello from ARM world";
	
	for(i=0; i<20; i++)
		arm[i] = (*p++);
	
//    printf("Hello from ARM world\n");
}