#include <stdint.h>

void _start(void)
{
	volatile uint32_t *write = (volatile uint32_t *)(0x100000 + 0x10);
	volatile uint32_t *read = (volatile uint32_t *)( 0x100000 + 0x0);
	*write = *read;

	for (;;) ;
}