#include <stdio.h>

char s[SKDATA_SIZE] __attribute__((section(".skdata")));
extern int __skdata_begin;
int main()
{
	int i;
	printf("__skdata_begin=%p\n",&__skdata_begin);
	printf("s=%p\n",s);
	printf("dynamically filled section contents\n");
	char *ptr = (char *)&__skdata_begin;
	for(i=0;i<5;i++)
	printf("%c\n",s[i]);
	printf("\n");
	return 0;
}